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

Correctly include flex vars in generalization group of rec defs

Browse source 
Rather than resetting the list here, we should append to it!

Closes #5344
This commit is contained in:
Ayaz Hafiz 2023-05-02 13:10:27 -05:00
parent d13e221678
commit d4fcd83ba9
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 53 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -3531,7 +3531,7 @@ fn constraint_recursive_function(
let expr_con = attach_resolution_constraints(constraints, env, expr_con);
let def_con = expr_con;
flex_info.vars = vec![expr_var];
flex_info.vars.push(expr_var);
flex_info.constraints.push(def_con);
flex_info.def_types.insert(
loc_symbol.value,