From aa23420c5fc0c3cde73f0fcbf6027449fae67a34 Mon Sep 17 00:00:00 2001 From: Sam Vervaeck Date: Thu, 11 Jul 2024 21:06:58 +0200 Subject: [PATCH] Fix compilation errors due to missing Type::Kind member --- include/bolt/Type.hpp | 8 ++++++++ 1 file changed, 8 insertions(+) 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 {