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

Merge branch 'main' into docs

Browse source
This commit is contained in:
faldor20 2024-03-14 23:29:35 +10:00
commit c4c372de39
No known key found for this signature in database
GPG key ID: F2216079B890CD57
17 changed files with 223 additions and 163 deletions
Download patch file Download diff file Expand all files Collapse all files

8
crates/compiler/fmt/src/pattern.rs
View file

@ -41,8 +41,12 @@ impl<'a> Formattable for Pattern<'a> {
fn is_multiline(&self) -> bool {
// Theory: a pattern should only be multiline when it contains a comment
match self {
Pattern::SpaceBefore(a, spaces) | Pattern::SpaceAfter(a, spaces) => {
debug_assert!(!spaces.is_empty(), "spaces is empty in pattern {:#?}", a);
Pattern::SpaceBefore(pattern, spaces) | Pattern::SpaceAfter(pattern, spaces) => {
debug_assert!(
!spaces.is_empty(),
"spaces is empty in pattern {:#?}",
pattern
);
spaces.iter().any(|s| s.is_comment())
}

41
crates/compiler/mono/src/layout.rs
View file

@ -4337,15 +4337,48 @@ where
NonRecursive {
sorted_tag_layouts: tags,
} => {
let mut tag_layouts = Vec::with_capacity_in(tags.len(), env.arena);
tag_layouts.extend(tags.iter().map(|r| r.1));
let mut layouts = Vec::with_capacity_in(tags.len(), env.arena);
let semantic = match tags.first() {
Some((tag_or_closure, _)) => match tag_or_closure {
TagOrClosure::Tag(_tag) => TagName::semantic_repr(
env.arena,
tags.iter()
.map(|(tag_or_closure, layout)| match tag_or_closure {
TagOrClosure::Tag(tag) => {
layouts.push(*layout);
tag
}
TagOrClosure::Closure(_symbol) => {
unreachable!()
}
}),
),
TagOrClosure::Closure(_symbol) => Symbol::semantic_repr(
env.arena,
tags.iter()
.map(|(tag_or_closure, layout)| match tag_or_closure {
TagOrClosure::Tag(_tag) => unreachable!(),
TagOrClosure::Closure(symbol) => {
layouts.push(*layout);
symbol
}
}),
),
},
None => {
// This would be a tag union with no tags, which should have hit a
// different case earlier.
unreachable!();
}
};
let layout = Layout {
repr: LayoutRepr::Union(UnionLayout::NonRecursive(
tag_layouts.into_bump_slice(),
layouts.into_bump_slice(),
))
.direct(),
semantic: SemanticRepr::NONE,
semantic,
};
env.cache.put_in(layout)
}

68
crates/compiler/test_mono/generated/encode_derived_nested_record_string.txt generated
View file

@ -176,7 +176,7 @@ procedure List.8 (#Attr.2, #Attr.3):
let List.658 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.658;
procedure List.80 (#Derived_gen.45, #Derived_gen.46, #Derived_gen.47, #Derived_gen.48, #Derived_gen.49):
procedure List.80 (#Derived_gen.31, #Derived_gen.32, #Derived_gen.33, #Derived_gen.34, #Derived_gen.35):
joinpoint List.685 List.490 List.491 List.492 List.493 List.494:
let List.687 : Int1 = CallByName Num.22 List.493 List.494;
if List.687 then
@ -200,40 +200,9 @@ procedure List.80 (#Derived_gen.45, #Derived_gen.46, #Derived_gen.47, #Derived_g
let List.686 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.491;
ret List.686;
in
jump List.685 #Derived_gen.45 #Derived_gen.46 #Derived_gen.47 #Derived_gen.48 #Derived_gen.49;
jump List.685 #Derived_gen.31 #Derived_gen.32 #Derived_gen.33 #Derived_gen.34 #Derived_gen.35;
procedure List.91 (#Derived_gen.23, #Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_gen.27):
joinpoint List.641 List.162 List.163 List.164 List.165 List.166:
let List.643 : Int1 = CallByName Num.22 List.165 List.166;
if List.643 then
let List.647 : U8 = CallByName List.66 List.162 List.165;
let List.167 : List U8 = CallByName TotallyNotJson.183 List.163 List.647;
let List.646 : U64 = 1i64;
let List.645 : U64 = CallByName Num.51 List.165 List.646;
jump List.641 List.162 List.167 List.164 List.645 List.166;
else
dec List.162;
ret List.163;
in
jump List.641 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27;
procedure List.91 (#Derived_gen.28, #Derived_gen.29, #Derived_gen.30, #Derived_gen.31, #Derived_gen.32):
joinpoint List.629 List.162 List.163 List.164 List.165 List.166:
let List.631 : Int1 = CallByName Num.22 List.165 List.166;
if List.631 then
let List.635 : {Str, Str} = CallByName List.66 List.162 List.165;
inc List.635;
let List.167 : {List U8, U64} = CallByName TotallyNotJson.203 List.163 List.635;
let List.634 : U64 = 1i64;
let List.633 : U64 = CallByName Num.51 List.165 List.634;
jump List.629 List.162 List.167 List.164 List.633 List.166;
else
dec List.162;
ret List.163;
in
jump List.629 #Derived_gen.28 #Derived_gen.29 #Derived_gen.30 #Derived_gen.31 #Derived_gen.32;
procedure List.91 (#Derived_gen.50, #Derived_gen.51, #Derived_gen.52, #Derived_gen.53, #Derived_gen.54):
joinpoint List.595 List.162 List.163 List.164 List.165 List.166:
let List.597 : Int1 = CallByName Num.22 List.165 List.166;
if List.597 then
@ -247,7 +216,38 @@ procedure List.91 (#Derived_gen.50, #Derived_gen.51, #Derived_gen.52, #Derived_g
dec List.162;
ret List.163;
in
jump List.595 #Derived_gen.50 #Derived_gen.51 #Derived_gen.52 #Derived_gen.53 #Derived_gen.54;
jump List.595 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27;
procedure List.91 (#Derived_gen.39, #Derived_gen.40, #Derived_gen.41, #Derived_gen.42, #Derived_gen.43):
joinpoint List.641 List.162 List.163 List.164 List.165 List.166:
let List.643 : Int1 = CallByName Num.22 List.165 List.166;
if List.643 then
let List.647 : U8 = CallByName List.66 List.162 List.165;
let List.167 : List U8 = CallByName TotallyNotJson.183 List.163 List.647;
let List.646 : U64 = 1i64;
let List.645 : U64 = CallByName Num.51 List.165 List.646;
jump List.641 List.162 List.167 List.164 List.645 List.166;
else
dec List.162;
ret List.163;
in
jump List.641 #Derived_gen.39 #Derived_gen.40 #Derived_gen.41 #Derived_gen.42 #Derived_gen.43;
procedure List.91 (#Derived_gen.47, #Derived_gen.48, #Derived_gen.49, #Derived_gen.50, #Derived_gen.51):
joinpoint List.629 List.162 List.163 List.164 List.165 List.166:
let List.631 : Int1 = CallByName Num.22 List.165 List.166;
if List.631 then
let List.635 : {Str, Str} = CallByName List.66 List.162 List.165;
inc List.635;
let List.167 : {List U8, U64} = CallByName TotallyNotJson.203 List.163 List.635;
let List.634 : U64 = 1i64;
let List.633 : U64 = CallByName Num.51 List.165 List.634;
jump List.629 List.162 List.167 List.164 List.633 List.166;
else
dec List.162;
ret List.163;
in
jump List.629 #Derived_gen.47 #Derived_gen.48 #Derived_gen.49 #Derived_gen.50 #Derived_gen.51;
procedure Num.127 (#Attr.2):
let Num.284 : U8 = lowlevel NumIntCast #Attr.2;

38
crates/compiler/test_mono/generated/encode_derived_record_one_field_string.txt generated
View file

@ -135,7 +135,7 @@ procedure List.8 (#Attr.2, #Attr.3):
let List.624 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.624;
procedure List.80 (#Derived_gen.23, #Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_gen.27):
procedure List.80 (#Derived_gen.16, #Derived_gen.17, #Derived_gen.18, #Derived_gen.19, #Derived_gen.20):
joinpoint List.651 List.490 List.491 List.492 List.493 List.494:
let List.653 : Int1 = CallByName Num.22 List.493 List.494;
if List.653 then
@ -159,9 +159,24 @@ procedure List.80 (#Derived_gen.23, #Derived_gen.24, #Derived_gen.25, #Derived_g
let List.652 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.491;
ret List.652;
in
jump List.651 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27;
jump List.651 #Derived_gen.16 #Derived_gen.17 #Derived_gen.18 #Derived_gen.19 #Derived_gen.20;
procedure List.91 (#Derived_gen.13, #Derived_gen.14, #Derived_gen.15, #Derived_gen.16, #Derived_gen.17):
procedure List.91 (#Derived_gen.21, #Derived_gen.22, #Derived_gen.23, #Derived_gen.24, #Derived_gen.25):
joinpoint List.607 List.162 List.163 List.164 List.165 List.166:
let List.609 : Int1 = CallByName Num.22 List.165 List.166;
if List.609 then
let List.613 : U8 = CallByName List.66 List.162 List.165;
let List.167 : List U8 = CallByName TotallyNotJson.183 List.163 List.613;
let List.612 : U64 = 1i64;
let List.611 : U64 = CallByName Num.51 List.165 List.612;
jump List.607 List.162 List.167 List.164 List.611 List.166;
else
dec List.162;
ret List.163;
in
jump List.607 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25;
procedure List.91 (#Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_gen.29, #Derived_gen.30):
joinpoint List.595 List.162 List.163 List.164 List.165 List.166:
let List.597 : Int1 = CallByName Num.22 List.165 List.166;
if List.597 then
@ -175,22 +190,7 @@ procedure List.91 (#Derived_gen.13, #Derived_gen.14, #Derived_gen.15, #Derived_g
dec List.162;
ret List.163;
in
jump List.595 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16 #Derived_gen.17;
procedure List.91 (#Derived_gen.18, #Derived_gen.19, #Derived_gen.20, #Derived_gen.21, #Derived_gen.22):
joinpoint List.607 List.162 List.163 List.164 List.165 List.166:
let List.609 : Int1 = CallByName Num.22 List.165 List.166;
if List.609 then
let List.613 : U8 = CallByName List.66 List.162 List.165;
let List.167 : List U8 = CallByName TotallyNotJson.183 List.163 List.613;
let List.612 : U64 = 1i64;
let List.611 : U64 = CallByName Num.51 List.165 List.612;
jump List.607 List.162 List.167 List.164 List.611 List.166;
else
dec List.162;
ret List.163;
in
jump List.607 #Derived_gen.18 #Derived_gen.19 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22;
jump List.595 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29 #Derived_gen.30;
procedure Num.127 (#Attr.2):
let Num.274 : U8 = lowlevel NumIntCast #Attr.2;

38
crates/compiler/test_mono/generated/encode_derived_record_two_field_strings.txt generated
View file

@ -142,7 +142,7 @@ procedure List.8 (#Attr.2, #Attr.3):
let List.624 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.624;
procedure List.80 (#Derived_gen.27, #Derived_gen.28, #Derived_gen.29, #Derived_gen.30, #Derived_gen.31):
procedure List.80 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_gen.23, #Derived_gen.24):
joinpoint List.651 List.490 List.491 List.492 List.493 List.494:
let List.653 : Int1 = CallByName Num.22 List.493 List.494;
if List.653 then
@ -166,9 +166,24 @@ procedure List.80 (#Derived_gen.27, #Derived_gen.28, #Derived_gen.29, #Derived_g
let List.652 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.491;
ret List.652;
in
jump List.651 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29 #Derived_gen.30 #Derived_gen.31;
jump List.651 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24;
procedure List.91 (#Derived_gen.17, #Derived_gen.18, #Derived_gen.19, #Derived_gen.20, #Derived_gen.21):
procedure List.91 (#Derived_gen.25, #Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_gen.29):
joinpoint List.607 List.162 List.163 List.164 List.165 List.166:
let List.609 : Int1 = CallByName Num.22 List.165 List.166;
if List.609 then
let List.613 : U8 = CallByName List.66 List.162 List.165;
let List.167 : List U8 = CallByName TotallyNotJson.183 List.163 List.613;
let List.612 : U64 = 1i64;
let List.611 : U64 = CallByName Num.51 List.165 List.612;
jump List.607 List.162 List.167 List.164 List.611 List.166;
else
dec List.162;
ret List.163;
in
jump List.607 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29;
procedure List.91 (#Derived_gen.30, #Derived_gen.31, #Derived_gen.32, #Derived_gen.33, #Derived_gen.34):
joinpoint List.595 List.162 List.163 List.164 List.165 List.166:
let List.597 : Int1 = CallByName Num.22 List.165 List.166;
if List.597 then
@ -182,22 +197,7 @@ procedure List.91 (#Derived_gen.17, #Derived_gen.18, #Derived_gen.19, #Derived_g
dec List.162;
ret List.163;
in
jump List.595 #Derived_gen.17 #Derived_gen.18 #Derived_gen.19 #Derived_gen.20 #Derived_gen.21;
procedure List.91 (#Derived_gen.22, #Derived_gen.23, #Derived_gen.24, #Derived_gen.25, #Derived_gen.26):
joinpoint List.607 List.162 List.163 List.164 List.165 List.166:
let List.609 : Int1 = CallByName Num.22 List.165 List.166;
if List.609 then
let List.613 : U8 = CallByName List.66 List.162 List.165;
let List.167 : List U8 = CallByName TotallyNotJson.183 List.163 List.613;
let List.612 : U64 = 1i64;
let List.611 : U64 = CallByName Num.51 List.165 List.612;
jump List.607 List.162 List.167 List.164 List.611 List.166;
else
dec List.162;
ret List.163;
in
jump List.607 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26;
jump List.595 #Derived_gen.30 #Derived_gen.31 #Derived_gen.32 #Derived_gen.33 #Derived_gen.34;
procedure Num.127 (#Attr.2):
let Num.274 : U8 = lowlevel NumIntCast #Attr.2;

36
crates/compiler/test_mono/generated/encode_derived_tag_one_field_string.txt generated
View file

@ -137,7 +137,7 @@ procedure List.8 (#Attr.2, #Attr.3):
let List.633 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.633;
procedure List.80 (#Derived_gen.15, #Derived_gen.16, #Derived_gen.17, #Derived_gen.18, #Derived_gen.19):
procedure List.80 (#Derived_gen.18, #Derived_gen.19, #Derived_gen.20, #Derived_gen.21, #Derived_gen.22):
joinpoint List.657 List.490 List.491 List.492 List.493 List.494:
let List.659 : Int1 = CallByName Num.22 List.493 List.494;
if List.659 then
@ -161,24 +161,9 @@ procedure List.80 (#Derived_gen.15, #Derived_gen.16, #Derived_gen.17, #Derived_g
let List.658 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.491;
ret List.658;
in
jump List.657 #Derived_gen.15 #Derived_gen.16 #Derived_gen.17 #Derived_gen.18 #Derived_gen.19;
jump List.657 #Derived_gen.18 #Derived_gen.19 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22;
procedure List.91 (#Derived_gen.10, #Derived_gen.11, #Derived_gen.12, #Derived_gen.13, #Derived_gen.14):
joinpoint List.613 List.162 List.163 List.164 List.165 List.166:
let List.615 : Int1 = CallByName Num.22 List.165 List.166;
if List.615 then
let List.619 : U8 = CallByName List.66 List.162 List.165;
let List.167 : List U8 = CallByName TotallyNotJson.183 List.163 List.619;
let List.618 : U64 = 1i64;
let List.617 : U64 = CallByName Num.51 List.165 List.618;
jump List.613 List.162 List.167 List.164 List.617 List.166;
else
dec List.162;
ret List.163;
in
jump List.613 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14;
procedure List.91 (#Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_gen.29, #Derived_gen.30):
joinpoint List.601 List.162 List.163 List.164 List.165 List.166:
let List.603 : Int1 = CallByName Num.22 List.165 List.166;
if List.603 then
@ -192,7 +177,22 @@ procedure List.91 (#Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_g
dec List.162;
ret List.163;
in
jump List.601 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29 #Derived_gen.30;
jump List.601 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14;
procedure List.91 (#Derived_gen.23, #Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_gen.27):
joinpoint List.613 List.162 List.163 List.164 List.165 List.166:
let List.615 : Int1 = CallByName Num.22 List.165 List.166;
if List.615 then
let List.619 : U8 = CallByName List.66 List.162 List.165;
let List.167 : List U8 = CallByName TotallyNotJson.183 List.163 List.619;
let List.618 : U64 = 1i64;
let List.617 : U64 = CallByName Num.51 List.165 List.618;
jump List.613 List.162 List.167 List.164 List.617 List.166;
else
dec List.162;
ret List.163;
in
jump List.613 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27;
procedure Num.127 (#Attr.2):
let Num.276 : U8 = lowlevel NumIntCast #Attr.2;

12
crates/compiler/test_mono/generated/encode_derived_tag_two_payloads_string.txt generated
View file

@ -140,7 +140,7 @@ procedure List.8 (#Attr.2, #Attr.3):
let List.633 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.633;
procedure List.80 (#Derived_gen.19, #Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_gen.23):
procedure List.80 (#Derived_gen.27, #Derived_gen.28, #Derived_gen.29, #Derived_gen.30, #Derived_gen.31):
joinpoint List.657 List.490 List.491 List.492 List.493 List.494:
let List.659 : Int1 = CallByName Num.22 List.493 List.494;
if List.659 then
@ -164,9 +164,9 @@ procedure List.80 (#Derived_gen.19, #Derived_gen.20, #Derived_gen.21, #Derived_g
let List.658 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.491;
ret List.658;
in
jump List.657 #Derived_gen.19 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23;
jump List.657 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29 #Derived_gen.30 #Derived_gen.31;
procedure List.91 (#Derived_gen.11, #Derived_gen.12, #Derived_gen.13, #Derived_gen.14, #Derived_gen.15):
procedure List.91 (#Derived_gen.14, #Derived_gen.15, #Derived_gen.16, #Derived_gen.17, #Derived_gen.18):
joinpoint List.601 List.162 List.163 List.164 List.165 List.166:
let List.603 : Int1 = CallByName Num.22 List.165 List.166;
if List.603 then
@ -180,9 +180,9 @@ procedure List.91 (#Derived_gen.11, #Derived_gen.12, #Derived_gen.13, #Derived_g
dec List.162;
ret List.163;
in
jump List.601 #Derived_gen.11 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15;
jump List.601 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16 #Derived_gen.17 #Derived_gen.18;
procedure List.91 (#Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_gen.27, #Derived_gen.28):
procedure List.91 (#Derived_gen.22, #Derived_gen.23, #Derived_gen.24, #Derived_gen.25, #Derived_gen.26):
joinpoint List.613 List.162 List.163 List.164 List.165 List.166:
let List.615 : Int1 = CallByName Num.22 List.165 List.166;
if List.615 then
@ -195,7 +195,7 @@ procedure List.91 (#Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_g
dec List.162;
ret List.163;
in
jump List.613 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28;
jump List.613 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26;
procedure Num.127 (#Attr.2):
let Num.276 : U8 = lowlevel NumIntCast #Attr.2;

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

@ -45,8 +45,8 @@ procedure Dict.1 (Dict.723):
procedure Dict.10 (Dict.724, Dict.179, Dict.180):
let Dict.178 : List {Str, I64} = StructAtIndex 1 Dict.724;
let #Derived_gen.66 : List {U32, U32} = StructAtIndex 0 Dict.724;
dec #Derived_gen.66;
let #Derived_gen.68 : List {U32, U32} = StructAtIndex 0 Dict.724;
dec #Derived_gen.68;
let Dict.1101 : {Str, Int1} = CallByName List.18 Dict.178 Dict.179 Dict.180;
ret Dict.1101;
@ -163,8 +163,8 @@ procedure Dict.398 (Dict.399, Dict.840, Dict.401, Dict.397):
procedure Dict.4 (Dict.729):
let Dict.156 : List {Str, I64} = StructAtIndex 1 Dict.729;
let #Derived_gen.67 : List {U32, U32} = StructAtIndex 0 Dict.729;
dec #Derived_gen.67;
let #Derived_gen.66 : List {U32, U32} = StructAtIndex 0 Dict.729;
dec #Derived_gen.66;
let Dict.882 : U64 = CallByName List.6 Dict.156;
dec Dict.156;
ret Dict.882;
@ -217,8 +217,8 @@ procedure Dict.59 (Dict.719):
let Dict.377 : U64 = StructAtIndex 2 Dict.719;
let Dict.378 : Float32 = StructAtIndex 3 Dict.719;
let Dict.379 : U8 = StructAtIndex 4 Dict.719;
let #Derived_gen.68 : List {U32, U32} = StructAtIndex 0 Dict.719;
dec #Derived_gen.68;
let #Derived_gen.67 : List {U32, U32} = StructAtIndex 0 Dict.719;
dec #Derived_gen.67;
let Dict.877 : U64 = CallByName Dict.47;
let Dict.836 : Int1 = CallByName Bool.7 Dict.377 Dict.877;
if Dict.836 then
@ -283,7 +283,7 @@ procedure Dict.65 (Dict.404, Dict.405, Dict.406):
let Dict.846 : {U64, U32} = CallByName Dict.66 Dict.404 Dict.409 Dict.408;
ret Dict.846;
procedure Dict.66 (#Derived_gen.14, #Derived_gen.15, #Derived_gen.16):
procedure Dict.66 (#Derived_gen.45, #Derived_gen.46, #Derived_gen.47):
joinpoint Dict.847 Dict.410 Dict.411 Dict.412:
let Dict.413 : {U32, U32} = CallByName Dict.22 Dict.410 Dict.411;
let Dict.854 : U32 = StructAtIndex 1 Dict.413;
@ -298,9 +298,9 @@ procedure Dict.66 (#Derived_gen.14, #Derived_gen.15, #Derived_gen.16):
let Dict.848 : {U64, U32} = Struct {Dict.411, Dict.412};
ret Dict.848;
in
jump Dict.847 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16;
jump Dict.847 #Derived_gen.45 #Derived_gen.46 #Derived_gen.47;
procedure Dict.67 (#Derived_gen.33, #Derived_gen.34, #Derived_gen.35):
procedure Dict.67 (#Derived_gen.31, #Derived_gen.32, #Derived_gen.33):
joinpoint Dict.753 Dict.414 Dict.415 Dict.416:
let Dict.417 : {U32, U32} = CallByName Dict.22 Dict.414 Dict.416;
let Dict.763 : U32 = StructAtIndex 1 Dict.417;
@ -319,7 +319,7 @@ procedure Dict.67 (#Derived_gen.33, #Derived_gen.34, #Derived_gen.35):
let Dict.754 : List {U32, U32} = CallByName List.3 Dict.414 Dict.416 Dict.415;
ret Dict.754;
in
jump Dict.753 #Derived_gen.33 #Derived_gen.34 #Derived_gen.35;
jump Dict.753 #Derived_gen.31 #Derived_gen.32 #Derived_gen.33;
procedure Dict.68 (Dict.419, Dict.420):
let Dict.749 : U64 = 1i64;
@ -500,7 +500,7 @@ procedure Dict.82 (Dict.702, Dict.480):
let Dict.917 : {U64, U64, U64} = CallByName Dict.83 Dict.478 Dict.478 Dict.478 Dict.480 Dict.919 Dict.481;
jump Dict.918 Dict.917;
procedure Dict.83 (#Derived_gen.36, #Derived_gen.37, #Derived_gen.38, #Derived_gen.39, #Derived_gen.40, #Derived_gen.41):
procedure Dict.83 (#Derived_gen.9, #Derived_gen.10, #Derived_gen.11, #Derived_gen.12, #Derived_gen.13, #Derived_gen.14):
joinpoint Dict.920 Dict.486 Dict.487 Dict.488 Dict.489 Dict.490 Dict.491:
inc 6 Dict.489;
let Dict.1027 : U64 = CallByName Dict.91 Dict.489 Dict.490;
@ -562,9 +562,9 @@ procedure Dict.83 (#Derived_gen.36, #Derived_gen.37, #Derived_gen.38, #Derived_g
let Dict.921 : {U64, U64, U64} = Struct {Dict.922, Dict.923, Dict.498};
ret Dict.921;
in
jump Dict.920 #Derived_gen.36 #Derived_gen.37 #Derived_gen.38 #Derived_gen.39 #Derived_gen.40 #Derived_gen.41;
jump Dict.920 #Derived_gen.9 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14;
procedure Dict.84 (#Derived_gen.44, #Derived_gen.45, #Derived_gen.46, #Derived_gen.47):
procedure Dict.84 (#Derived_gen.48, #Derived_gen.49, #Derived_gen.50, #Derived_gen.51):
joinpoint Dict.973 Dict.499 Dict.500 Dict.501 Dict.502:
inc 2 Dict.500;
let Dict.993 : U64 = CallByName Dict.91 Dict.500 Dict.501;
@ -596,7 +596,7 @@ procedure Dict.84 (#Derived_gen.44, #Derived_gen.45, #Derived_gen.46, #Derived_g
else
jump Dict.973 Dict.503 Dict.500 Dict.505 Dict.504;
in
jump Dict.973 #Derived_gen.44 #Derived_gen.45 #Derived_gen.46 #Derived_gen.47;
jump Dict.973 #Derived_gen.48 #Derived_gen.49 #Derived_gen.50 #Derived_gen.51;
procedure Dict.85 ():
let Dict.910 : U64 = 11562461410679940143i64;
@ -981,7 +981,7 @@ procedure List.83 (List.168, List.169, List.170):
let List.611 : List {U32, U32} = CallByName List.92 List.168 List.169 List.170 List.612 List.613;
ret List.611;
procedure List.89 (#Derived_gen.30, #Derived_gen.31, #Derived_gen.32):
procedure List.89 (#Derived_gen.28, #Derived_gen.29, #Derived_gen.30):
joinpoint List.623 List.139 List.140 List.141:
let List.631 : U64 = 0i64;
let List.625 : Int1 = CallByName Num.24 List.140 List.631;
@ -993,9 +993,9 @@ procedure List.89 (#Derived_gen.30, #Derived_gen.31, #Derived_gen.32):
else
ret List.141;
in
jump List.623 #Derived_gen.30 #Derived_gen.31 #Derived_gen.32;
jump List.623 #Derived_gen.28 #Derived_gen.29 #Derived_gen.30;
procedure List.91 (#Derived_gen.25, #Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_gen.29):
procedure List.91 (#Derived_gen.23, #Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_gen.27):
joinpoint List.575 List.162 List.163 List.164 List.165 List.166:
let List.577 : Int1 = CallByName Num.22 List.165 List.166;
if List.577 then
@ -1009,9 +1009,9 @@ procedure List.91 (#Derived_gen.25, #Derived_gen.26, #Derived_gen.27, #Derived_g
dec List.162;
ret List.163;
in
jump List.575 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29;
jump List.575 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27;
procedure List.91 (#Derived_gen.53, #Derived_gen.54, #Derived_gen.55, #Derived_gen.56, #Derived_gen.57):
procedure List.91 (#Derived_gen.59, #Derived_gen.60, #Derived_gen.61, #Derived_gen.62, #Derived_gen.63):
joinpoint List.639 List.162 List.163 List.164 List.165 List.166:
let List.641 : Int1 = CallByName Num.22 List.165 List.166;
if List.641 then
@ -1025,9 +1025,9 @@ procedure List.91 (#Derived_gen.53, #Derived_gen.54, #Derived_gen.55, #Derived_g
dec List.162;
ret List.163;
in
jump List.639 #Derived_gen.53 #Derived_gen.54 #Derived_gen.55 #Derived_gen.56 #Derived_gen.57;
jump List.639 #Derived_gen.59 #Derived_gen.60 #Derived_gen.61 #Derived_gen.62 #Derived_gen.63;
procedure List.92 (#Derived_gen.9, #Derived_gen.10, #Derived_gen.11, #Derived_gen.12, #Derived_gen.13):
procedure List.92 (#Derived_gen.38, #Derived_gen.39, #Derived_gen.40, #Derived_gen.41, #Derived_gen.42):
joinpoint List.614 List.171 List.172 List.173 List.174 List.175:
let List.616 : Int1 = CallByName Num.22 List.174 List.175;
if List.616 then
@ -1041,7 +1041,7 @@ procedure List.92 (#Derived_gen.9, #Derived_gen.10, #Derived_gen.11, #Derived_ge
dec List.171;
ret List.172;
in
jump List.614 #Derived_gen.9 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12 #Derived_gen.13;
jump List.614 #Derived_gen.38 #Derived_gen.39 #Derived_gen.40 #Derived_gen.41 #Derived_gen.42;
procedure Num.131 (#Attr.2):
let Num.277 : U32 = lowlevel NumIntCast #Attr.2;

8
crates/compiler/test_mono/generated/issue_4749.txt generated
View file

@ -232,8 +232,8 @@ procedure Str.9 (Str.67):
else
let Str.234 : U8 = StructAtIndex 3 Str.68;
let Str.235 : U64 = StructAtIndex 0 Str.68;
let #Derived_gen.6 : Str = StructAtIndex 1 Str.68;
dec #Derived_gen.6;
let #Derived_gen.7 : Str = StructAtIndex 1 Str.68;
dec #Derived_gen.7;
let Str.233 : {U64, U8} = Struct {Str.235, Str.234};
let Str.232 : [C {U64, U8}, C Str] = TagId(0) Str.233;
ret Str.232;
@ -346,8 +346,8 @@ procedure TotallyNotJson.497 (TotallyNotJson.498):
procedure TotallyNotJson.499 (TotallyNotJson.990):
let TotallyNotJson.991 : List U8 = StructAtIndex 1 TotallyNotJson.990;
let #Derived_gen.7 : List U8 = StructAtIndex 0 TotallyNotJson.990;
dec #Derived_gen.7;
let #Derived_gen.6 : List U8 = StructAtIndex 0 TotallyNotJson.990;
dec #Derived_gen.6;
ret TotallyNotJson.991;
procedure TotallyNotJson.59 ():

16
crates/compiler/test_mono/generated/issue_4772_weakened_monomorphic_destructure.txt generated
View file

@ -126,7 +126,7 @@ procedure List.8 (#Attr.2, #Attr.3):
let List.592 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.592;
procedure List.80 (#Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4, #Derived_gen.5):
procedure List.80 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4):
joinpoint List.633 List.490 List.491 List.492 List.493 List.494:
let List.635 : Int1 = CallByName Num.22 List.493 List.494;
if List.635 then
@ -150,7 +150,7 @@ procedure List.80 (#Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.
let List.634 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = TagId(1) List.491;
ret List.634;
in
jump List.633 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5;
jump List.633 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.272 : U8 = lowlevel NumAdd #Attr.2 #Attr.3;
@ -233,8 +233,8 @@ procedure Str.9 (Str.67):
else
let Str.244 : U8 = StructAtIndex 3 Str.68;
let Str.245 : U64 = StructAtIndex 0 Str.68;
let #Derived_gen.7 : Str = StructAtIndex 1 Str.68;
dec #Derived_gen.7;
let #Derived_gen.6 : Str = StructAtIndex 1 Str.68;
dec #Derived_gen.6;
let Str.243 : {U64, U8} = Struct {Str.245, Str.244};
let Str.242 : [C {U64, U8}, C Str] = TagId(0) Str.243;
ret Str.242;
@ -378,8 +378,8 @@ procedure TotallyNotJson.497 (TotallyNotJson.498):
procedure TotallyNotJson.499 (TotallyNotJson.990):
let TotallyNotJson.991 : List U8 = StructAtIndex 1 TotallyNotJson.990;
let #Derived_gen.6 : List U8 = StructAtIndex 0 TotallyNotJson.990;
dec #Derived_gen.6;
let #Derived_gen.7 : List U8 = StructAtIndex 0 TotallyNotJson.990;
dec #Derived_gen.7;
ret TotallyNotJson.991;
procedure TotallyNotJson.59 ():
@ -746,7 +746,7 @@ procedure TotallyNotJson.68 ():
let TotallyNotJson.1045 : List U8 = CallByName TotallyNotJson.67 TotallyNotJson.1046 TotallyNotJson.1047 TotallyNotJson.1048 TotallyNotJson.1049;
ret TotallyNotJson.1045;
procedure TotallyNotJson.69 (#Derived_gen.0):
procedure TotallyNotJson.69 (#Derived_gen.5):
joinpoint TotallyNotJson.996 TotallyNotJson.967:
let TotallyNotJson.563 : List U8 = StructAtIndex 0 TotallyNotJson.967;
inc 4 TotallyNotJson.563;
@ -848,7 +848,7 @@ procedure TotallyNotJson.69 (#Derived_gen.0):
let TotallyNotJson.1075 : {List U8, List U8} = Struct {TotallyNotJson.563, TotallyNotJson.564};
ret TotallyNotJson.1075;
in
jump TotallyNotJson.996 #Derived_gen.0;
jump TotallyNotJson.996 #Derived_gen.5;
procedure TotallyNotJson.8 ():
let TotallyNotJson.970 : {} = Struct {};