update mono and uitests

This commit is contained in:
Brendan Hansknecht 2023-05-25 11:01:14 -07:00
parent b4c359588e
commit 0c13564ad7
No known key found for this signature in database
GPG key ID: 0EA784685083E75B
2 changed files with 27 additions and 27 deletions

View file

@ -1,28 +1,28 @@
procedure Dict.1 (Dict.536):
let Dict.546 : List {[], []} = Array [];
let Dict.553 : U64 = 0i64;
let Dict.554 : U64 = 8i64;
let Dict.547 : List U64 = CallByName List.11 Dict.553 Dict.554;
let Dict.550 : I8 = CallByName Dict.36;
let Dict.551 : U64 = 8i64;
let Dict.548 : List I8 = CallByName List.11 Dict.550 Dict.551;
let Dict.549 : U64 = 0i64;
let Dict.545 : {List {[], []}, List U64, List I8, U64} = Struct {Dict.546, Dict.547, Dict.548, Dict.549};
ret Dict.545;
procedure Dict.1 (Dict.547):
let Dict.556 : List {[], []} = Array [];
let Dict.563 : U64 = 0i64;
let Dict.564 : U64 = 8i64;
let Dict.557 : List U64 = CallByName List.11 Dict.563 Dict.564;
let Dict.560 : I8 = CallByName Dict.37;
let Dict.561 : U64 = 8i64;
let Dict.558 : List I8 = CallByName List.11 Dict.560 Dict.561;
let Dict.559 : U64 = 0i64;
let Dict.555 : {List {[], []}, List U64, List I8, U64} = Struct {Dict.556, Dict.557, Dict.558, Dict.559};
ret Dict.555;
procedure Dict.36 ():
let Dict.552 : I8 = -128i64;
ret Dict.552;
procedure Dict.37 ():
let Dict.562 : I8 = -128i64;
ret Dict.562;
procedure Dict.4 (Dict.543):
let Dict.97 : U64 = StructAtIndex 3 Dict.543;
let #Derived_gen.2 : List {[], []} = StructAtIndex 0 Dict.543;
procedure Dict.4 (Dict.553):
let Dict.99 : U64 = StructAtIndex 3 Dict.553;
let #Derived_gen.2 : List {[], []} = StructAtIndex 0 Dict.553;
dec #Derived_gen.2;
let #Derived_gen.1 : List U64 = StructAtIndex 1 Dict.543;
let #Derived_gen.1 : List U64 = StructAtIndex 1 Dict.553;
dec #Derived_gen.1;
let #Derived_gen.0 : List I8 = StructAtIndex 2 Dict.543;
let #Derived_gen.0 : List I8 = StructAtIndex 2 Dict.553;
dec #Derived_gen.0;
ret Dict.97;
ret Dict.99;
procedure List.11 (List.115, List.116):
let List.495 : List I8 = CallByName List.68 List.116;

View file

@ -3,22 +3,22 @@
app "test" provides [main] to "./platform"
f = \{} ->
#^{-1} <1606><116>{} -<119>[[f(1)]]-> <115>[Ok <1614>{}]<79>*
#^{-1} <1599><116>{} -<119>[[f(1)]]-> <115>[Ok <1607>{}]<79>*
when g {} is
# ^ <1596><1614>{} -<1604>[[g(2)]]-> <71>[Ok <1614>{}]<101>*
# ^ <1589><1607>{} -<1597>[[g(2)]]-> <71>[Ok <1607>{}]<101>*
_ -> Ok {}
g = \{} ->
#^{-1} <1596><1614>{} -<1604>[[g(2)]]-> <71>[Ok <1614>{}]<101>*
#^{-1} <1589><1607>{} -<1597>[[g(2)]]-> <71>[Ok <1607>{}]<101>*
when h {} is
# ^ <1601><1614>{} -<1609>[[h(3)]]-> <93>[Ok <1614>{}]<123>*
# ^ <1594><1607>{} -<1602>[[h(3)]]-> <93>[Ok <1607>{}]<123>*
_ -> Ok {}
h = \{} ->
#^{-1} <1601><1614>{} -<1609>[[h(3)]]-> <93>[Ok <1614>{}]<123>*
#^{-1} <1594><1607>{} -<1602>[[h(3)]]-> <93>[Ok <1607>{}]<123>*
when f {} is
# ^ <1606><116>{} -<119>[[f(1)]]-> <115>[Ok <1614>{}]<79>*
# ^ <1599><116>{} -<119>[[f(1)]]-> <115>[Ok <1607>{}]<79>*
_ -> Ok {}
main = f {}
# ^ <1616><132>{} -<135>[[f(1)]]-> <137>[Ok <1614>{}]<1615>w_a
# ^ <1609><132>{} -<135>[[f(1)]]-> <137>[Ok <1607>{}]<1608>w_a