mirrors
/
codon
mirror of https://github.com/exaloop/codon.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Add type is support

pull/335/head
Ibrahim Numanagić 2023-02-18 14:51:50 -08:00
parent 894bf5b375
commit 57881a8825
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
codon/parser/visitors/typecheck/op.cpp
View File

@ -569,6 +569,8 @@ ExprPtr TypecheckVisitor::transformBinaryIs(BinaryExpr *expr) {
unify(expr->type, ctx->getType("bool"));
return nullptr;
}
if (expr->lexpr->isType() && expr->rexpr->isType())
return transform(N<BoolExpr>(lc->realizedName() == rc->realizedName()));
if (!lc->getRecord() && !rc->getRecord()) {
// Both reference types: `return lhs.__raw__() == rhs.__raw__()`
return transform(