mirror of
https://github.com/roc-lang/roc.git
synced 2025-10-03 08:34:33 +00:00
Update mono test
This commit is contained in:
parent
0f4c848978
commit
56c2936ebd
2 changed files with 9 additions and 5 deletions
|
@ -1,7 +1,11 @@
|
||||||
|
procedure Bool.2 ():
|
||||||
|
let Bool.11 : Int1 = true;
|
||||||
|
ret Bool.11;
|
||||||
|
|
||||||
procedure Test.0 ():
|
procedure Test.0 ():
|
||||||
let Test.7 : Int1 = true;
|
let Test.6 : Int1 = CallByName Bool.2;
|
||||||
if Test.7 then
|
if Test.6 then
|
||||||
Error voided tag constructor is unreachable
|
Error voided tag constructor is unreachable
|
||||||
else
|
else
|
||||||
let Test.6 : Str = "abc";
|
let Test.5 : Str = "abc";
|
||||||
ret Test.6;
|
ret Test.5;
|
||||||
|
|
|
@ -1958,7 +1958,7 @@ fn unreachable_void_constructor() {
|
||||||
|
|
||||||
x : []
|
x : []
|
||||||
|
|
||||||
main = if True then Ok x else Err "abc"
|
main = if Bool.true then Ok x else Err "abc"
|
||||||
"#
|
"#
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue