samvv/bolt
1
0
Fork 0
Code Issues 24 Pull requests Projects Releases Packages Wiki Activity Actions

Fix match-expressions not being properly type-checked

Browse source
This commit is contained in:
Sam Vervaeck 2023-05-23 21:51:14 +02:00
parent 3bc77b1bb6
commit 1d314808a9
Signed by: samvv
SSH key fingerprint: SHA256:dIg0ywU1OP+ZYifrYxy8c5esO72cIKB+4/9wkZj1VaY
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/Checker.cc
View file

@ -636,8 +636,8 @@ namespace bolt {
auto NewCtx = createInferContext(); auto NewCtx = createInferContext();
Contexts.push_back(NewCtx); Contexts.push_back(NewCtx);
inferBindings(Case->Pattern, ValTy); inferBindings(Case->Pattern, ValTy);
auto Ty = inferExpression(Case->Expression); auto ResTy = inferExpression(Case->Expression);
addConstraint(new CEqual(Ty, Ty, Case->Expression)); addConstraint(new CEqual(ResTy, Ty, Case->Expression));
Contexts.pop_back(); Contexts.pop_back();
} }
if (!Match->Value) { if (!Match->Value) {