language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 00:24:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Unable function marks for symbol specializations

Browse source
This commit is contained in:
Ayaz Hafiz 2022-05-06 12:03:35 -04:00
parent e0bfe6c762
commit 9e35cf9060
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 34 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

33
compiler/mono/src/ir.rs
View file

@ -799,11 +799,6 @@ impl<'a> SymbolSpecializations<'a> {
let arena = env.arena;
let subs: &Subs = env.subs;
// let is_closure = matches!(
// subs.get_content_without_compacting(specialization_var),
// Content::Structure(FlatType::Func(..))
// );
let layout = match layout_cache.from_var(arena, specialization_var, subs) {
Ok(layout) => layout,
// This can happen when the def symbol has a type error. In such cases just use the
@ -811,21 +806,25 @@ impl<'a> SymbolSpecializations<'a> {
Err(_) => return symbol,
};
// let function_mark = if is_closure {
// let fn_layout = match layout_cache.raw_from_var(arena, specialization_var, subs) {
// Ok(layout) => layout,
// // This can happen when the def symbol has a type error. In such cases just use the
// // def symbol, which is erroring.
// Err(_) => return symbol,
// };
// Some(fn_layout)
// } else {
// None
// };
let is_closure = matches!(
subs.get_content_without_compacting(specialization_var),
Content::Structure(FlatType::Func(..))
);
let function_mark = if is_closure {
let fn_layout = match layout_cache.raw_from_var(arena, specialization_var, subs) {
Ok(layout) => layout,
// This can happen when the def symbol has a type error. In such cases just use the
// def symbol, which is erroring.
Err(_) => return symbol,
};
Some(fn_layout)
} else {
None
};
let specialization_mark = SpecializationMark {
layout,
function_mark: None,
function_mark,
};
let symbol_specializations = self.0.get_or_insert(symbol, || Default::default());

18
compiler/test_gen/src/gen_primitives.rs
View file

@ -3436,3 +3436,21 @@ fn polymorphic_lambda_set_usage() {
u8
)
}
#[test]
#[cfg(any(feature = "gen-llvm"))]
fn polymorphic_lambda_set_multiple_specializations() {
assert_evals_to!(
indoc!(
r#"
id1 = \x -> x
id2 = \y -> y
id = if True then id1 else id2
(id 9u8) + Num.toU8 (id 16u16)
"#
),
25,
u8
)
}