Add variables

2019-02-21 01:17:34 -08:00 · 2019-02-21 01:17:34 -08:00 · 6fba0cc5b4
parent a6eb2b4020
commit 6fba0cc5b4
1 changed files with 5 additions and 1 deletions
--- a/schala-lang/language/src/typechecking.rs
+++ b/schala-lang/language/src/typechecking.rs
@ -30,13 +30,17 @@ impl TypeError {
 #[derive(Debug, Clone, PartialEq)]
 pub enum Type {
  Const(TypeConst),
+  Var(TypeVar),
  Arrow(Box<Type>, Box<Type>),
  Compound {
-    ty: Box<Type>, 
+    ty_name: String,
    args:Vec<Type>
  }
 }

+#[derive(Debug, Clone, PartialEq)]
+pub struct TypeVar(String);
+
 #[derive(Debug, Clone, PartialEq)]
 pub enum TypeConst {
  Unit,