Update mono

This commit is contained in:
Ayaz Hafiz 2022-11-23 15:37:30 -06:00
parent f9de522004
commit cb7de132e5
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
5 changed files with 5 additions and 5 deletions

View file

@ -6,7 +6,7 @@ procedure List.5 (#Attr.2, #Attr.3):
procedure Test.2 (Test.3):
let Test.7 : {} = Struct {};
let Test.8 : Str = "a Lambda Set is empty. Most likely there is a type error in your program.";
Crash `#UserApp.8`
Crash Test.8
procedure Test.0 ():
let Test.1 : List [] = Array [];

View file

@ -6,7 +6,7 @@ procedure List.5 (#Attr.2, #Attr.3):
procedure Test.2 (Test.3):
let Test.7 : {} = Struct {};
let Test.8 : Str = "a Lambda Set is empty. Most likely there is a type error in your program.";
Crash `#UserApp.IdentId(8)`
Crash Test.8
procedure Test.0 ():
let Test.1 : List [] = Array [];

View file

@ -9,7 +9,7 @@ procedure Test.1 (Test.2):
else
dec Test.2;
let Test.9 : Str = "turns out this was fallible";
Crash `#UserApp.IdentId(9)`
Crash Test.9
procedure Test.0 ():
let Test.13 : U64 = 78i64;

View file

@ -6,7 +6,7 @@ procedure Test.0 ():
let Test.6 : Int1 = CallByName Bool.2;
if Test.6 then
let Test.8 : Str = "voided tag constructor is unreachable";
Crash `#UserApp.IdentId(8)`
Crash Test.8
else
let Test.5 : Str = "abc";
ret Test.5;