From 57881a882524580fefabdb3daa3aa190b916a550 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ibrahim=20Numanagic=CC=81?= <ibrahimpasa@gmail.com>
Date: Sat, 18 Feb 2023 14:51:50 -0800
Subject: [PATCH] Add type is support

---
 codon/parser/visitors/typecheck/op.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/codon/parser/visitors/typecheck/op.cpp b/codon/parser/visitors/typecheck/op.cpp
index b39553e1..741749cb 100644
--- a/codon/parser/visitors/typecheck/op.cpp
+++ b/codon/parser/visitors/typecheck/op.cpp
@@ -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(