checker update

[minfp.git] / check.dcl

diff --git a/check.dcl b/check.dcl
index 664b39e..8881226 100644 (file)
--- a/check.dcl
+++ b/check.dcl
@@ -3,4 +3,5 @@ definition module check
 from Data.Either import :: Either
 from ast import :: AST
 
-check :: AST -> Either [String] AST
+:: Type
+check :: AST -> Either [String] (Type, AST)