more

[minfp.git] / ast.dcl

diff --git a/ast.dcl b/ast.dcl
index 4bd177c..392b589 100644 (file)
--- a/ast.dcl
+++ b/ast.dcl
@@ -20,4 +20,11 @@ from StdOverloaded import class toString
        | Char Char
        | Func Int [Expression] ([Expression] -> Expression)
 
-instance toString AST, Function, Expression, Value
+:: Type
+       = TVar [Char]
+       | TInt
+       | TBool
+       | TChar
+       | TFun Type Type
+
+instance toString AST, Function, Expression, Value, Type