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

add comment

Browse source
This commit is contained in:
Folkert 2022-03-05 22:29:30 +01:00
parent 6380a9edf9
commit 9f11245b22
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1707,6 +1707,11 @@ fn instantiate_rigids(
annotation.substitute(&rigid_substitution); annotation.substitute(&rigid_substitution);
} }
// TODO investigate when we can skip this. It seems to only be required for correctness
// for recursive functions. For non-recursive functions the final type is correct, but
// alias information is sometimes lost
//
// Skipping all of this cloning here would be neat!
let loc_annotation_ref = Loc::at(loc_pattern.region, &annotation); let loc_annotation_ref = Loc::at(loc_pattern.region, &annotation);
if let Pattern::Identifier(symbol) = loc_pattern.value { if let Pattern::Identifier(symbol) = loc_pattern.value {
headers.insert(symbol, Loc::at(loc_pattern.region, annotation.clone())); headers.insert(symbol, Loc::at(loc_pattern.region, annotation.clone()));