From d17dc556c46a43dd7c35c6bfcc7c47a23ef0caeb Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Thu, 25 Nov 2021 22:41:55 +0100 Subject: Some work --- AST.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'AST.hs') diff --git a/AST.hs b/AST.hs index f8f3624..6b327c5 100644 --- a/AST.hs +++ b/AST.hs @@ -11,10 +11,12 @@ newtype Name = Name String deriving (Show) data Type - = TApp Name [Type] + = TApp Type [Type] | TTup [Type] | TList Type | TFun Type Type + | TCon Name + | TVar Name deriving (Show) data FunEq t = FunEq Name [Pattern t] (RHS t) -- cgit v1.2.3-70-g09d2