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

Upgrade to List.set_in_place when appropriate

Browse source
This commit is contained in:
Richard Feldman 2020-03-07 12:43:03 -05:00
parent bca43a2564
commit db4ef45708
5 changed files with 63 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

18
compiler/mono/src/expr.rs
View file

@ -225,22 +225,18 @@ fn from_can<'a>(
)) => {
debug_assert!(attr_args.len() == 2);
// If the first argument (the List) is unique,
// then we can safely upgrade to List.set_in_place
let attr_arg_content =
subs.get_without_compacting(attr_args[0]).content;
let is_unique = match attr_arg_content {
Content::Structure(FlatType::Boolean(boolean)) => {
boolean.is_unique(subs)
}
Content::FlexVar(_) => true,
_ => false,
let new_name = if attr_arg_content.is_unique(subs) {
Symbol::LIST_SET_IN_PLACE
} else {
Symbol::LIST_SET
};
dbg!(is_unique);
let _wrapped_var = attr_args[1];
call_by_name(env, procs, proc_name, loc_args)
call_by_name(env, procs, new_name, loc_args)
}
_ => call_by_name(env, procs, proc_name, loc_args),
}