Update mono tests

This commit is contained in:
Richard Feldman 2023-08-14 20:06:04 -04:00
parent 995c985fbe
commit e8e1d0457f
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
10 changed files with 50 additions and 50 deletions

View file

@ -256,10 +256,6 @@ procedure TotallyNotJson.189 (TotallyNotJson.1226, TotallyNotJson.192):
ret TotallyNotJson.1251;
procedure TotallyNotJson.2 ():
let TotallyNotJson.1172 : [C , C [], C , C , C , C ] = TagId(2) ;
ret TotallyNotJson.1172;
procedure TotallyNotJson.215 (TotallyNotJson.216, TotallyNotJson.217):
let TotallyNotJson.1197 : List U8 = CallByName TotallyNotJson.27 TotallyNotJson.217;
let TotallyNotJson.1196 : List U8 = CallByName List.8 TotallyNotJson.216 TotallyNotJson.1197;
@ -361,9 +357,13 @@ procedure TotallyNotJson.27 (TotallyNotJson.218):
ret TotallyNotJson.1211;
procedure TotallyNotJson.8 ():
let TotallyNotJson.1172 : [C , C [], C , C , C , C ] = TagId(2) ;
ret TotallyNotJson.1172;
procedure Test.0 ():
let Test.9 : Str = "abc";
let Test.10 : [C , C [], C , C , C , C ] = CallByName TotallyNotJson.2;
let Test.10 : [C , C [], C , C , C , C ] = CallByName TotallyNotJson.8;
let Test.8 : List U8 = CallByName Encode.26 Test.9 Test.10;
let Test.1 : [C {U64, U8}, C Str] = CallByName Str.9 Test.8;
let Test.5 : U8 = 1i64;