mutual recursion type inference

[minfp.git] / check.dcl

diff --git a/check.dcl b/check.dcl
index 91059a7..da6c1f9 100644 (file)
--- a/check.dcl
+++ b/check.dcl
@@ -9,4 +9,4 @@ from ast import :: Function, :: Expression
 
 instance toString Scheme, Type
 
-check :: [Function] -> Either [String] (Expression, Scheme)
+check :: [Function] -> Either [String] (Expression, [([Char], Scheme)])