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

Err with void type

Browse source
This commit is contained in:
Folkert 2021-03-06 23:07:03 +01:00
parent 98f5c9eefb
commit 2faeda29f2
3 changed files with 56 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
compiler/mono/src/layout.rs
View file

@ -1539,7 +1539,9 @@ pub fn union_sorted_tags_help<'a>(
}
Err(LayoutProblem::UnresolvedTypeVar(_)) => {
// If we encounter an unbound type var (e.g. `Ok *`)
// then it's zero-sized; drop the argument.
// then it's zero-sized; In the future we may drop this argument
// completely, but for now we represent it with the empty struct
layouts.push(Layout::Struct(&[]))
}
Err(LayoutProblem::Erroneous) => {
// An erroneous type var will code gen to a runtime
@ -1616,7 +1618,9 @@ pub fn union_sorted_tags_help<'a>(
}
Err(LayoutProblem::UnresolvedTypeVar(_)) => {
// If we encounter an unbound type var (e.g. `Ok *`)
// then it's zero-sized; drop the argument.
// then it's zero-sized; In the future we may drop this argument
// completely, but for now we represent it with the empty struct
arg_layouts.push(Layout::Struct(&[]));
}
Err(LayoutProblem::Erroneous) => {
// An erroneous type var will code gen to a runtime