language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-26 13:29:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Generate OIOP vars correctly

Browse source
This commit is contained in:
Ayaz Hafiz 2022-10-26 15:52:37 -05:00
parent f37868256d
commit e1b6e0334b
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/compiler/constrain/src/expr.rs
View file

@ -2908,6 +2908,9 @@ fn instantiate_rigids(
// lambda set vars are always freshly introduced in this annotation // lambda set vars are always freshly introduced in this annotation
new_rigid_variables.extend(introduced_vars.lambda_sets.iter().copied()); new_rigid_variables.extend(introduced_vars.lambda_sets.iter().copied());
// ext-infer vars are always freshly introduced in this annotation
new_rigid_variables.extend(introduced_vars.infer_ext_in_output.iter().copied());
let new_infer_variables: Vec<Variable> = let new_infer_variables: Vec<Variable> =
introduced_vars.inferred.iter().map(|v| v.value).collect(); introduced_vars.inferred.iter().map(|v| v.value).collect();
@ -2968,6 +2971,9 @@ fn instantiate_rigids_simple(
// lambda set vars are always freshly introduced in this annotation // lambda set vars are always freshly introduced in this annotation
new_rigid_variables.extend(introduced_vars.lambda_sets.iter().copied()); new_rigid_variables.extend(introduced_vars.lambda_sets.iter().copied());
// ext-infer vars are always freshly introduced in this annotation
new_rigid_variables.extend(introduced_vars.infer_ext_in_output.iter().copied());
let new_infer_variables: Vec<Variable> = let new_infer_variables: Vec<Variable> =
introduced_vars.inferred.iter().map(|v| v.value).collect(); introduced_vars.inferred.iter().map(|v| v.value).collect();