language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-29 06:44:46 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

cleanup

Browse source
This commit is contained in:
Folkert 2021-11-24 20:44:51 +01:00
parent 308b91153e
commit 3e640f78bf
2 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
compiler/can/src/annotation.rs
View file

@ -454,7 +454,7 @@ fn can_annotation_help(
None => Type::EmptyTagUnion,
}
} else {
let tag_types = can_tags(
let mut tag_types = can_tags(
env,
tags.items,
region,
@ -465,6 +465,11 @@ fn can_annotation_help(
references,
);
// sort here; we later instantiate type aliases, so this type might get duplicated
// many times. Then, when inserting into the subs, the tags are sorted.
// in theory we save a lot of time by sorting once here
tag_types.sort_by(|a, b| a.0.cmp(&b.0));
Type::TagUnion(tag_types, Box::new(ext_type))
}
}

2
compiler/solve/src/solve.rs
View file

@ -1004,7 +1004,7 @@ fn type_to_union_tags<'a>(
for (tag, tag_argument_types) in tags {
let new_slice = VariableSubsSlice::reserve_into_subs(subs, tag_argument_types.len());
for (i, arg) in (new_slice.slice.start as usize..).zip(tag_argument_types) {
for (i, arg) in (new_slice.indices()).zip(tag_argument_types) {
let var = type_to_variable(subs, rank, pools, arena, arg);
subs.variables[i] = var;
}