diff --git a/include/bolt/Type.hpp b/include/bolt/Type.hpp index 8c6152b35..dd28bd034 100644 --- a/include/bolt/Type.hpp +++ b/include/bolt/Type.hpp @@ -146,6 +146,8 @@ public: } } + static constexpr const TypeKind Kind = TypeKind::Var; + }; class TCon : public Type { @@ -161,6 +163,8 @@ public: return Name; } + static constexpr const TypeKind Kind = TypeKind::Con; + }; class TFun : public Type { @@ -181,6 +185,8 @@ public: return Right; } + static constexpr const TypeKind Kind = TypeKind::Fun; + }; class TApp : public Type { @@ -201,6 +207,8 @@ public: return Right; } + static constexpr const TypeKind Kind = TypeKind::App; + }; struct TypeScheme {