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

Remove superfluous check.

Browse source 
We aren't doing Procedures during canonicalization,
This commit is contained in:
Richard Feldman 2019-12-17 06:36:38 -05:00
parent c8ea1e4806
commit 59cf4f7269
1 changed files with 2 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/solve.rs
View file

@ -63,13 +63,9 @@ pub fn solve(
let mut new_vars_by_symbol = vars_by_symbol.clone();
for (symbol, loc_type) in let_con.def_types.iter() {
// No need to overwrite existing symbols; it would have no effect.
// (If we allowed shadowing, we'd need to do something fancier here.)
if !new_vars_by_symbol.contains_key(&symbol) {
let var = type_to_var(subs, loc_type.value.clone());
let var = type_to_var(subs, loc_type.value.clone());
new_vars_by_symbol.insert(symbol.clone(), var);
}
new_vars_by_symbol.insert(symbol.clone(), var);
}
// Now solve the body, using the new vars_by_symbol which includes