more checking and gen

[minfp.git] / check.dcl

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