From df7e74c79d2576227423919926b5c2227b30e14c Mon Sep 17 00:00:00 2001
From: greg <greg.shuflin@protonmail.com>
Date: Sun, 17 Feb 2019 04:30:49 -0800
Subject: [PATCH] Types with arguments

---
 schala-lang/language/src/typechecking.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/schala-lang/language/src/typechecking.rs b/schala-lang/language/src/typechecking.rs
index d9e6737..49ba798 100644
--- 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)]