update mono tests

This commit is contained in:
Folkert 2022-07-13 19:39:03 +02:00
parent ed27e0ea62
commit 7456be1771
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C

View file

@ -1,13 +1,17 @@
procedure Dict.1 ():
let Dict.25 : Dict [] [] = lowlevel DictEmpty ;
ret Dict.25;
let Dict.101 : List {[], []} = Array [];
ret Dict.101;
procedure Dict.7 (#Attr.2):
let Dict.24 : U64 = lowlevel DictSize #Attr.2;
dec #Attr.2;
ret Dict.24;
procedure Dict.7 (Dict.95):
let Dict.100 : U64 = CallByName List.6 Dict.95;
ret Dict.100;
procedure List.6 (#Attr.2):
let List.295 : U64 = lowlevel ListLen #Attr.2;
ret List.295;
procedure Test.0 ():
let Test.2 : Dict [] [] = CallByName Dict.1;
let Test.2 : List {[], []} = CallByName Dict.1;
let Test.1 : U64 = CallByName Dict.7 Test.2;
dec Test.2;
ret Test.1;