try letrec

[minfp.git] / check.dcl

diff --git a/check.dcl b/check.dcl
index 015d891..b35ad70 100644 (file)
--- a/check.dcl
+++ b/check.dcl
@@ -1,7 +1,6 @@
 definition module check
 
 from Data.Either import :: Either
-from ast import :: AST, :: Type
+from ast import :: Function, :: Expression, :: Type
 
-:: Scheme     =   Forall [[Char]] Type
-check :: AST -> Either [String] (AST, [([Char], Scheme)])
+check :: [Function] -> Either [String] Expression