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

Update comment

Browse source
This commit is contained in:
Richard Feldman 2019-12-07 00:40:57 -05:00
parent 23c1a5587a
commit bfacfa729b
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/solve.rs
View file

@ -58,10 +58,8 @@ pub fn solve(vars_by_symbol: &Env, subs: &mut Subs, constraint: &Constraint) {
let mut new_vars_by_symbol = vars_by_symbol.clone(); let mut new_vars_by_symbol = vars_by_symbol.clone();
for (symbol, loc_type) in let_con.def_types.iter() { for (symbol, loc_type) in let_con.def_types.iter() {
// We must not overwrite existing symbols! If we do, // No need to overwrite existing symbols; it would have no effect.
// we will overwrite procedure entries, which were // (If we allowed shadowing, we'd need to do something fancier here.)
// inserted earlier in solving. (If we allowed
// shadowing, we'd need to do something fancier here.)
if !new_vars_by_symbol.contains_key(&symbol) { 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());