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

fix wildcards not recognized as rigids

Browse source
This commit is contained in:
Folkert 2020-12-11 01:44:26 +01:00
parent f5c267acf4
commit b669202d86
3 changed files with 125 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1363,7 +1363,9 @@ fn instantiate_rigids(
}
}
new_rigids.extend(introduced_vars.wildcards.iter().cloned());
for (i, wildcard) in introduced_vars.wildcards.iter().enumerate() {
ftv.insert(format!("*{}", i).into(), *wildcard);
}
annotation
}