language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 16:44:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

properly constrain expects (don't forget original constraint)

Browse source
This commit is contained in:
Folkert 2022-06-25 15:40:36 +02:00
parent a4686cd74e
commit 03aef94e44
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1769,13 +1769,15 @@ pub fn constrain_decls(
let expected =
Expected::ForReason(Reason::ExpectCondition, bool_type, loc_expr.region);
constraint = constrain_expr(
let expect_constraint = constrain_expr(
constraints,
&mut env,
loc_expr.region,
&loc_expr.value,
expected,
);
constraint = constraints.let_constraint([], [], [], expect_constraint, constraint)
}
Function(function_def_index) => {
constraint = constrain_function_def(