language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 05:49:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Updated tests

Browse source
This commit is contained in:
J.Teeuwissen 2023-05-06 23:13:47 +02:00 • committed by Folkert
parent c991451265
commit 13fb99b078
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
2 changed files with 15 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

32
crates/compiler/test_mono/generated/issue_4770.txt
View file

@ -113,23 +113,22 @@ procedure Test.1 (Test.77):
let Test.49 : [<r>C I64, C List *self] = StructAtIndex 1 Test.6; let Test.49 : [<r>C I64, C List *self] = StructAtIndex 1 Test.6;
dec Test.50; dec Test.50;
let Test.10 : I64 = UnionAtIndex (Id 0) (Index 0) Test.49; let Test.10 : I64 = UnionAtIndex (Id 0) (Index 0) Test.49;
joinpoint #Derived_gen.9: joinpoint #Derived_gen.7:
let Test.27 : Int1 = CallByName Num.22 Test.8 Test.10; let Test.27 : Int1 = CallByName Num.22 Test.8 Test.10;
ret Test.27; ret Test.27;
in in
let #Derived_gen.10 : Int1 = lowlevel RefCountIsUnique Test.49; let #Derived_gen.8 : Int1 = lowlevel RefCountIsUnique Test.49;
if #Derived_gen.10 then if #Derived_gen.8 then
decref Test.49; decref Test.49;
jump #Derived_gen.9; jump #Derived_gen.7;
else else
decref Test.49; decref Test.49;
jump #Derived_gen.9; jump #Derived_gen.7;
else else
let Test.39 : [<r>C I64, C List *self] = StructAtIndex 0 Test.6; let Test.39 : [<r>C I64, C List *self] = StructAtIndex 0 Test.6;
let Test.42 : [<r>C I64, C List *self] = StructAtIndex 1 Test.6; let Test.42 : [<r>C I64, C List *self] = StructAtIndex 1 Test.6;
let Test.41 : List [<r>C I64, C List *self] = Array [Test.42]; let Test.41 : List [<r>C I64, C List *self] = Array [Test.42];
let #Derived_gen.4 : [<r>C I64, C List *self] = lowlevel PtrCast #Derived_gen.1; let Test.40 : [<r>C I64, C List *self] = Reuse #Derived_gen.1 UpdateModeId { id: 1 } TagId(1) Test.41;
let Test.40 : [<r>C I64, C List *self] = Reuse #Derived_gen.4 UpdateModeId { id: 1 } TagId(1) Test.41;
let Test.38 : {[<r>C I64, C List *self], [<r>C I64, C List *self]} = Struct {Test.39, Test.40}; let Test.38 : {[<r>C I64, C List *self], [<r>C I64, C List *self]} = Struct {Test.39, Test.40};
jump Test.26 Test.38; jump Test.26 Test.38;
else else
@ -137,17 +136,17 @@ procedure Test.1 (Test.77):
inc Test.61; inc Test.61;
let Test.62 : U8 = 1i64; let Test.62 : U8 = 1i64;
let Test.63 : U8 = GetTagId Test.61; let Test.63 : U8 = GetTagId Test.61;
let #Derived_gen.5 : [<r>C I64, C List *self] = Reset { symbol: Test.61, id: UpdateModeId { id: 4 } }; let #Derived_gen.4 : [<r>C I64, C List *self] = Reset { symbol: Test.61, id: UpdateModeId { id: 4 } };
let Test.64 : Int1 = lowlevel Eq Test.62 Test.63; let Test.64 : Int1 = lowlevel Eq Test.62 Test.63;
if Test.64 then if Test.64 then
decref #Derived_gen.5; decref #Derived_gen.4;
let Test.52 : [<r>C I64, C List *self] = StructAtIndex 0 Test.6; let Test.52 : [<r>C I64, C List *self] = StructAtIndex 0 Test.6;
let Test.12 : List [<r>C I64, C List *self] = UnionAtIndex (Id 1) (Index 0) Test.52; let Test.12 : List [<r>C I64, C List *self] = UnionAtIndex (Id 1) (Index 0) Test.52;
inc Test.12; inc Test.12;
let Test.51 : [<r>C I64, C List *self] = StructAtIndex 1 Test.6; let Test.51 : [<r>C I64, C List *self] = StructAtIndex 1 Test.6;
dec Test.52; dec Test.52;
let Test.14 : List [<r>C I64, C List *self] = UnionAtIndex (Id 1) (Index 0) Test.51; let Test.14 : List [<r>C I64, C List *self] = UnionAtIndex (Id 1) (Index 0) Test.51;
joinpoint #Derived_gen.11: joinpoint #Derived_gen.9:
let Test.35 : {} = Struct {}; let Test.35 : {} = Struct {};
inc Test.12; inc Test.12;
inc Test.14; inc Test.14;
@ -167,22 +166,19 @@ procedure Test.1 (Test.77):
let Test.28 : Int1 = CallByName Bool.1; let Test.28 : Int1 = CallByName Bool.1;
ret Test.28; ret Test.28;
in in
let #Derived_gen.12 : Int1 = lowlevel RefCountIsUnique Test.51; let #Derived_gen.10 : Int1 = lowlevel RefCountIsUnique Test.51;
if #Derived_gen.12 then if #Derived_gen.10 then
decref Test.51; decref Test.51;
jump #Derived_gen.11; jump #Derived_gen.9;
else else
inc Test.14; inc Test.14;
decref Test.51; decref Test.51;
jump #Derived_gen.11; jump #Derived_gen.9;
else else
let Test.48 : [<r>C I64, C List *self] = StructAtIndex 0 Test.6; let Test.48 : [<r>C I64, C List *self] = StructAtIndex 0 Test.6;
inc Test.48;
let Test.47 : List [<r>C I64, C List *self] = Array [Test.48]; let Test.47 : List [<r>C I64, C List *self] = Array [Test.48];
let #Derived_gen.8 : [<r>C I64, C List *self] = lowlevel PtrCast #Derived_gen.5; let Test.45 : [<r>C I64, C List *self] = Reuse #Derived_gen.4 UpdateModeId { id: 4 } TagId(1) Test.47;
let Test.45 : [<r>C I64, C List *self] = Reuse #Derived_gen.8 UpdateModeId { id: 4 } TagId(1) Test.47;
let Test.46 : [<r>C I64, C List *self] = StructAtIndex 1 Test.6; let Test.46 : [<r>C I64, C List *self] = StructAtIndex 1 Test.6;
dec Test.48;
let Test.44 : {[<r>C I64, C List *self], [<r>C I64, C List *self]} = Struct {Test.45, Test.46}; let Test.44 : {[<r>C I64, C List *self], [<r>C I64, C List *self]} = Struct {Test.45, Test.46};
jump Test.26 Test.44; jump Test.26 Test.44;
in in

3
crates/compiler/test_mono/generated/recursive_function_and_union_with_inference_hole.txt
View file

@ -9,8 +9,7 @@ procedure Test.2 (Test.5):
let #Derived_gen.1 : [<rnnu>C List *self] = Reset { symbol: Test.5, id: UpdateModeId { id: 1 } }; let #Derived_gen.1 : [<rnnu>C List *self] = Reset { symbol: Test.5, id: UpdateModeId { id: 1 } };
let Test.15 : {} = Struct {}; let Test.15 : {} = Struct {};
let Test.7 : List [<rnnu>C List *self] = CallByName List.5 Test.6 Test.15; let Test.7 : List [<rnnu>C List *self] = CallByName List.5 Test.6 Test.15;
let #Derived_gen.2 : [<rnnu>C List *self] = lowlevel PtrCast #Derived_gen.1; let Test.14 : [<rnnu>C List *self] = Reuse #Derived_gen.1 UpdateModeId { id: 1 } TagId(0) Test.7;
let Test.14 : [<rnnu>C List *self] = Reuse #Derived_gen.2 UpdateModeId { id: 1 } TagId(0) Test.7;
ret Test.14; ret Test.14;
procedure Test.0 (): procedure Test.0 ():