Types with arguments

2019-02-17 04:30:49 -08:00 · 2019-02-17 04:30:49 -08:00 · df7e74c79d
commit df7e74c79d
parent abbd02eaef
1 changed files with 5 additions and 1 deletions
--- a/schala-lang/language/src/typechecking.rs
+++ b/schala-lang/language/src/typechecking.rs
@ -30,7 +30,11 @@ impl TypeError {
 #[derive(Debug, Clone)]
 pub enum Type {
  Const(TypeConst),
-  Arrow(Box<Type>, Box<Type>)
+  Arrow(Box<Type>, Box<Type>),
+  Compound {
+    ty: Box<Type>, 
+    args:Vec<Type>
+  }
 }

 #[derive(Debug, Clone, PartialEq)]