cleanup

[minfp.git] / check.dcl

diff --git a/check.dcl b/check.dcl
index a26c31b..322bd4a 100644 (file)
--- a/check.dcl
+++ b/check.dcl
@@ -5,10 +5,8 @@ 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 | TFun Type Type
+
 instance toString Scheme, Type
-check :: [Function] -> Either [String] Expression
+
+check :: [Function] -> Either [String] (Expression, Scheme)