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

Fix compilation errors due to missing Type::Kind member

Browse source
This commit is contained in:
Sam Vervaeck 2024-07-11 21:06:58 +02:00
parent 5cd4cc3e84
commit aa23420c5f
Signed by: samvv
SSH key fingerprint: SHA256:dIg0ywU1OP+ZYifrYxy8c5esO72cIKB+4/9wkZj1VaY
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
include/bolt/Type.hpp
View file

@ -146,6 +146,8 @@ public:
} }
} }
static constexpr const TypeKind Kind = TypeKind::Var;
}; };
class TCon : public Type { class TCon : public Type {
@ -161,6 +163,8 @@ public:
return Name; return Name;
} }
static constexpr const TypeKind Kind = TypeKind::Con;
}; };
class TFun : public Type { class TFun : public Type {
@ -181,6 +185,8 @@ public:
return Right; return Right;
} }
static constexpr const TypeKind Kind = TypeKind::Fun;
}; };
class TApp : public Type { class TApp : public Type {
@ -201,6 +207,8 @@ public:
return Right; return Right;
} }
static constexpr const TypeKind Kind = TypeKind::App;
}; };
struct TypeScheme { struct TypeScheme {