introduce TypeId alias

KeenS · Aug 14, 2022 · df13e0b · df13e0b
1 parent d05b296
commit df13e0b
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/src/ast/mod.rs b/src/ast/mod.rs
@@ -299,9 +299,11 @@ pub struct SymbolTable {
     pub constructors: HashMap<Symbol, Symbol>,
 }
 
+type TypeId = u64;
+
 #[derive(Debug, Clone, PartialEq, Eq)]
 pub enum Type {
-    Variable(u64),
+    Variable(TypeId),
     Char,
     Int,
     Real,

diff --git a/src/ast/typing.rs b/src/ast/typing.rs
@@ -27,7 +27,7 @@ struct TypePool {
 
 #[derive(Debug, Clone, PartialEq, Eq, Hash)]
 enum Typing {
-    Variable(u64),
+    Variable(TypeId),
     Char,
     Int,
     Real,
@@ -282,7 +282,7 @@ impl TyEnv {
         self.env.insert(k, v)
     }
 
-    fn polymorphic_variables(&self, ty: NodeId) -> Vec<u64> {
+    fn polymorphic_variables(&self, ty: NodeId) -> Vec<TypeId> {
         use Typing::*;
         match self.pool.pool.value_of(ty) {
             Variable(id) => vec![*id],