strictness, ci

[minfp.git] / ast.dcl

diff --git a/ast.dcl b/ast.dcl
index b7c29ef..55f98dd 100644 (file)
--- a/ast.dcl
+++ b/ast.dcl
@@ -11,7 +11,6 @@ from int import :: Eval
 :: Expression
        = Lit Value
        | Var [Char]
-       | Tuple Expression Expression
        | App Expression Expression
        | Lambda [Char] Expression
        | Let [([Char], Expression)] Expression
@@ -25,9 +24,9 @@ from int import :: Eval
 
 :: Type
        = TVar [Char]
-       | TTuple Type Type
        | TInt
        | TBool
+       | TApp Type Type
        | (-->) infixr 9 Type Type
 
 instance toString Function, Expression, Value, Type, TypeDef