interpret

[minfp.git] / check.dcl

diff --git a/check.dcl b/check.dcl
index 322bd4a..91059a7 100644 (file)
--- a/check.dcl
+++ b/check.dcl
@@ -5,7 +5,7 @@ from Data.Either import :: Either
 from ast import :: Function, :: Expression
 
 :: Scheme = Forall [[Char]] Type
-:: Type = TVar [Char] | TInt | TBool | TFun Type Type
+:: Type = TVar [Char] | TInt | TBool | (-->) infixr 9 Type Type
 
 instance toString Scheme, Type