language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 22:34:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

remove comment

Browse source
This commit is contained in:
Folkert 2022-03-04 23:27:05 +01:00
parent db06c10b5f
commit 39c4b878e5
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 0 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

17
compiler/constrain/src/expr.rs
View file

@ -1233,23 +1233,6 @@ fn constrain_def(env: &Env, def: &Def, body_con: Constraint) -> Constraint {
let rigids = &env.rigids;
let mut ftv = rigids.clone();
/*
let mut new_rigids = Vec::new();
// pub wildcards: Vec<Variable>,
// pub var_by_name: SendMap<Lowercase, Variable>,
'outer: for (outer_name, outer_var) in rigids.iter() {
for (inner_name, inner_var) in annotation.introduced_variables.var_by_name.iter() {
if outer_name == inner_name {
debug_assert_eq!(inner_var, outer_var);
continue 'outer;
}
}
// the inner name is not in the outer scope; it's introduced here
}
*/
let signature = instantiate_rigids(
&annotation.signature,
&annotation.introduced_variables,