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

Fix mono for empty list

Browse source
This commit is contained in:
Richard Feldman 2020-03-13 22:41:55 -04:00
parent de25dc0484
commit e9a0c8b3ef
1 changed files with 12 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -674,11 +674,18 @@ fn from_can<'a>(
loc_elems,
} => {
let arena = env.arena;
let elem_layout = match Layout::from_var(arena, elem_var, env.subs, env.pointer_size) {
Ok(layout) => layout,
Err(()) => {
panic!("TODO gracefully handle List with invalid element layout");
}
let subs = &env.subs;
let elem_content = subs.get_without_compacting(elem_var).content;
let elem_layout = match elem_content {
// We have to special-case the empty list, because trying to
// compute a layout for an unbound var won't work.
Content::FlexVar(_) => Layout::Builtin(Builtin::EmptyList),
content => match Layout::from_content(arena, content, env.subs, env.pointer_size) {
Ok(layout) => layout,
Err(()) => {
panic!("TODO gracefully handle List with invalid element layout");
}
},
};
let mut elems = Vec::with_capacity_in(loc_elems.len(), arena);