language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 00:24:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

update uitest and mono_test

Browse source
This commit is contained in:
Brendan Hansknecht 2023-12-07 16:48:20 -08:00 • committed by ptaszor3
parent 240606b95f
commit c902a01c99
No known key found for this signature in database
GPG key ID: 083F32091F5D7CEE
4 changed files with 974 additions and 1052 deletions
Download patch file Download diff file Expand all files Collapse all files

62
crates/compiler/test_mono/generated/dict.txt
View file

@ -1,46 +1,40 @@
procedure Dict.1 (Dict.596): procedure Dict.1 (Dict.679):
let Dict.606 : List {[], []} = Array []; let Dict.688 : List {U32, U32} = Array [];
let Dict.35 : List U64 = CallByName Dict.35; let Dict.689 : List {[], []} = Array [];
let Dict.34 : List I8 = CallByName Dict.34; let Dict.690 : U64 = 0i64;
let Dict.605 : {List {[], []}, List U64, List I8} = Struct {Dict.606, Dict.35, Dict.34}; let Dict.41 : Float32 = CallByName Dict.41;
ret Dict.605; let Dict.42 : U8 = CallByName Dict.42;
let Dict.687 : {List {U32, U32}, List {[], []}, U64, Float32, U8} = Struct {Dict.688, Dict.689, Dict.690, Dict.41, Dict.42};
ret Dict.687;
procedure Dict.34 (): procedure Dict.4 (Dict.685):
let Dict.608 : I8 = CallByName Dict.46; let Dict.138 : List {[], []} = StructAtIndex 1 Dict.685;
let Dict.609 : I8 = CallByName Dict.46; let #Derived_gen.0 : List {U32, U32} = StructAtIndex 0 Dict.685;
let Dict.610 : I8 = CallByName Dict.46;
let Dict.611 : I8 = CallByName Dict.46;
let Dict.612 : I8 = CallByName Dict.46;
let Dict.613 : I8 = CallByName Dict.46;
let Dict.614 : I8 = CallByName Dict.46;
let Dict.615 : I8 = CallByName Dict.46;
let Dict.607 : List I8 = Array [Dict.608, Dict.609, Dict.610, Dict.611, Dict.612, Dict.613, Dict.614, Dict.615];
ret Dict.607;
procedure Dict.35 ():
let Dict.617 : List U64 = Array [0i64, 0i64, 0i64, 0i64, 0i64, 0i64, 0i64, 0i64];
ret Dict.617;
procedure Dict.4 (Dict.603):
let Dict.114 : List {[], []} = StructAtIndex 0 Dict.603;
let #Derived_gen.1 : List U64 = StructAtIndex 1 Dict.603;
dec #Derived_gen.1;
let #Derived_gen.0 : List I8 = StructAtIndex 2 Dict.603;
dec #Derived_gen.0; dec #Derived_gen.0;
let Dict.604 : U64 = CallByName List.6 Dict.114; let Dict.686 : U64 = CallByName List.6 Dict.138;
dec Dict.114; dec Dict.138;
ret Dict.604; ret Dict.686;
procedure Dict.46 (): procedure Dict.41 ():
let Dict.616 : I8 = -128i64; let Dict.694 : Float32 = 0.8f64;
ret Dict.616; ret Dict.694;
procedure Dict.42 ():
let Dict.692 : U8 = 64i64;
let Dict.693 : U8 = 3i64;
let Dict.691 : U8 = CallByName Num.20 Dict.692 Dict.693;
ret Dict.691;
procedure List.6 (#Attr.2): procedure List.6 (#Attr.2):
let List.553 : U64 = lowlevel ListLen #Attr.2; let List.553 : U64 = lowlevel ListLen #Attr.2;
ret List.553; ret List.553;
procedure Num.20 (#Attr.2, #Attr.3):
let Num.291 : U8 = lowlevel NumSub #Attr.2 #Attr.3;
ret Num.291;
procedure Test.0 (): procedure Test.0 ():
let Test.3 : {} = Struct {}; let Test.3 : {} = Struct {};
let Test.2 : {List {[], []}, List U64, List I8} = CallByName Dict.1 Test.3; let Test.2 : {List {U32, U32}, List {[], []}, U64, Float32, U8} = CallByName Dict.1 Test.3;
let Test.1 : U64 = CallByName Dict.4 Test.2; let Test.1 : U64 = CallByName Dict.4 Test.2;
ret Test.1; ret Test.1;

1946
crates/compiler/test_mono/generated/inspect_derived_dict.txt
View file

File diff suppressed because it is too large Load diff

4
crates/compiler/uitest/tests/ability/specialize/set_eq_issue_4761.txt
View file

@ -8,5 +8,5 @@ main =
s2 = Set.empty {} s2 = Set.empty {}
Bool.isEq s1 s1 && Bool.isEq s2 s2 Bool.isEq s1 s1 && Bool.isEq s2 s2
# ^^^^^^^^^ Set#Bool.isEq(22): Set Str, Set Str -[[Set.isEq(22)]]-> Bool # ^^^^^^^^^ Set#Bool.isEq(24): Set Str, Set Str -[[Set.isEq(24)]]-> Bool
# ^^^^^^^^^ Set#Bool.isEq(22): Set U8, Set U8 -[[Set.isEq(22)]]-> Bool # ^^^^^^^^^ Set#Bool.isEq(24): Set U8, Set U8 -[[Set.isEq(24)]]-> Bool

14
crates/compiler/uitest/tests/recursion/generalization_among_large_recursive_group.txt
View file

@ -3,22 +3,22 @@
app "test" provides [main] to "./platform" app "test" provides [main] to "./platform"
f = \{} -> f = \{} ->
#^{-1} <2826><117>{} -<120>[[f(1)]]-> <116>[Ok <2834>{}]<80>* #^{-1} <2918><117>{} -<120>[[f(1)]]-> <116>[Ok <2926>{}]<80>*
when g {} is when g {} is
# ^ <2816><2834>{} -<2824>[[g(2)]]-> <72>[Ok <2834>{}]<102>* # ^ <2908><2926>{} -<2916>[[g(2)]]-> <72>[Ok <2926>{}]<102>*
_ -> Ok {} _ -> Ok {}
g = \{} -> g = \{} ->
#^{-1} <2816><2834>{} -<2824>[[g(2)]]-> <72>[Ok <2834>{}]<102>* #^{-1} <2908><2926>{} -<2916>[[g(2)]]-> <72>[Ok <2926>{}]<102>*
when h {} is when h {} is
# ^ <2821><2834>{} -<2829>[[h(3)]]-> <94>[Ok <2834>{}]<124>* # ^ <2913><2926>{} -<2921>[[h(3)]]-> <94>[Ok <2926>{}]<124>*
_ -> Ok {} _ -> Ok {}
h = \{} -> h = \{} ->
#^{-1} <2821><2834>{} -<2829>[[h(3)]]-> <94>[Ok <2834>{}]<124>* #^{-1} <2913><2926>{} -<2921>[[h(3)]]-> <94>[Ok <2926>{}]<124>*
when f {} is when f {} is
# ^ <2826><117>{} -<120>[[f(1)]]-> <116>[Ok <2834>{}]<80>* # ^ <2918><117>{} -<120>[[f(1)]]-> <116>[Ok <2926>{}]<80>*
_ -> Ok {} _ -> Ok {}
main = f {} main = f {}
# ^ <2836><133>{} -<136>[[f(1)]]-> <138>[Ok <2834>{}]<2835>w_a # ^ <2928><133>{} -<136>[[f(1)]]-> <138>[Ok <2926>{}]<2927>w_a