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

Enable type-checking of match expressions

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

24
src/Checker.cc
View file

@ -696,6 +696,30 @@ namespace bolt {
switch (X->getKind()) { switch (X->getKind()) {
case NodeKind::MatchExpression:
{
auto Match = static_cast<MatchExpression*>(X);
Type* ValTy;
if (Match->Value) {
ValTy = inferExpression(Match->Value);
} else {
ValTy = createTypeVar();
}
auto ResTy = createTypeVar();
for (auto Case: Match->Cases) {
auto NewCtx = createInferContext();
Contexts.push_back(NewCtx);
inferBindings(Case->Pattern, ValTy);
auto Ty = inferExpression(Case->Expression);
addConstraint(new CEqual(Ty, ResTy, Case->Expression));
Contexts.pop_back();
}
if (!Match->Value) {
return new TArrow({ ValTy }, ResTy);
}
return ResTy;
}
case NodeKind::ConstantExpression: case NodeKind::ConstantExpression:
{ {
auto Const = static_cast<ConstantExpression*>(X); auto Const = static_cast<ConstantExpression*>(X);