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

Coalesce type signature vars in typed def constraining

Browse source
This commit is contained in:
Ayaz Hafiz 2022-10-25 11:43:17 -05:00
parent 3362763e45
commit ce7648b344
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/compiler/constrain/src/expr.rs
View file

@ -2340,7 +2340,6 @@ fn constrain_typed_def(
rigids: ftv,
};
// TODO there is a signature_index below, can we coalesce it here?
let signature_index = constraints.push_type(signature.clone());
let annotation_expected = FromAnnotation(
@ -2456,7 +2455,6 @@ fn constrain_typed_def(
signature_closure_type_index,
))
};
let signature_index = constraints.push_type(signature);
let cons = [
constraints.let_constraint(
[],