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

Inline variable

Browse source
This commit is contained in:
Ayaz Hafiz 2022-10-25 12:45:19 -05:00
parent 2e07cc6c14
commit ef509ecc97
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -3597,8 +3597,7 @@ fn rec_defs_help(
let mut vars = Vec::with_capacity(state.vars.capacity() + 1); let mut vars = Vec::with_capacity(state.vars.capacity() + 1);
let ret_var = *ret_var; let ret_var = *ret_var;
let closure_var = *closure_var; let closure_var = *closure_var;
let ret_type = *ret_type.clone(); let ret_type_index = constraints.push_type(*ret_type.clone());
let ret_type_index = constraints.push_type(ret_type.clone());
vars.push(ret_var); vars.push(ret_var);
vars.push(closure_var); vars.push(closure_var);
@ -3627,7 +3626,7 @@ fn rec_defs_help(
let fn_type_index = constraints.push_type(Type::Function( let fn_type_index = constraints.push_type(Type::Function(
pattern_types, pattern_types,
Box::new(Type::Variable(closure_var)), Box::new(Type::Variable(closure_var)),
Box::new(ret_type.clone()), Box::new(*ret_type.clone()),
)); ));
let body_type = NoExpectation(ret_type_index); let body_type = NoExpectation(ret_type_index);
let expr_con = constrain_expr( let expr_con = constrain_expr(