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

Weaken expects

Browse source
This commit is contained in:
Ayaz Hafiz 2023-01-11 16:07:25 -06:00
parent fdb4fe66ee
commit 173d070175
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -2401,8 +2401,7 @@ pub fn constrain_decls(
[],
expect_constraint,
constraint,
// TODO(weakening)
Generalizable(true),
Generalizable(false),
)
}
ExpectationFx => {
@ -2430,8 +2429,7 @@ pub fn constrain_decls(
[],
expect_constraint,
constraint,
// TODO(weakening)
Generalizable(true),
Generalizable(false),
)
}
Function(function_def_index) => {