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

fix expect not being canonicalized in certain positions

Browse source
This commit is contained in:
Folkert 2022-11-05 21:13:50 +01:00
parent 2a41f72ad6
commit 0b3492752f
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 20 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

22
crates/compiler/can/src/def.rs
View file

@ -2359,8 +2359,26 @@ fn decl_to_let(decl: Declaration, loc_ret: Loc<Expr>) -> Loc<Expr> {
unreachable!()
}
Declaration::Expects(expects) => {
// Expects should only be added to top-level decls, not to let-exprs!
unreachable!("{:?}", &expects)
let mut loc_ret = loc_ret;
let conditions = expects.conditions.into_iter().rev();
let condition_regions = expects.regions.into_iter().rev();
let expect_regions = expects.preceding_comment.into_iter().rev();
let it = expect_regions.zip(condition_regions).zip(conditions);
for ((expect_region, condition_region), condition) in it {
let region = Region::span_across(&expect_region, &loc_ret.region);
let expr = Expr::Expect {
loc_condition: Box::new(Loc::at(condition_region, condition)),
loc_continuation: Box::new(loc_ret),
lookups_in_cond: vec![],
};
loc_ret = Loc::at(region, expr);
}
loc_ret
}
Declaration::ExpectsFx(expects) => {
// Expects should only be added to top-level decls, not to let-exprs!