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

Reuse Var constrain for ParamsVar

Browse source
This commit is contained in:
Agus Zubiaga 2024-06-27 16:30:23 -03:00
parent 8f69e75a95
commit 50b1a60411
No known key found for this signature in database
1 changed files with 4 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -566,23 +566,15 @@ pub fn constrain_expr(
constraints.exists([*ret_var], and)
}
Var(symbol, variable) => {
// Save the expectation in the variable, then lookup the symbol's type in the environment
let expected_type = *constraints[expected].get_type_ref();
let store_expected = constraints.store(expected_type, *variable, file!(), line!());
let lookup_constr = constraints.lookup(*symbol, expected, region);
constraints.and_constraint([store_expected, lookup_constr])
}
ParamsVar {
Var(symbol, variable)
| ParamsVar {
symbol,
params: _,
var,
var: variable,
} => {
// Save the expectation in the variable, then lookup the symbol's type in the environment
let expected_type = *constraints[expected].get_type_ref();
let store_expected = constraints.store(expected_type, *var, file!(), line!());
let store_expected = constraints.store(expected_type, *variable, file!(), line!());
let lookup_constr = constraints.lookup(*symbol, expected, region);