strictness, ci

[minfp.git] / check.dcl

diff --git a/check.dcl b/check.dcl
index 3c2c8b2..8abb9db 100644 (file)
--- a/check.dcl
+++ b/check.dcl
@@ -8,4 +8,4 @@ from ast import :: Function, :: Expression, :: Type, :: TypeDef
 
 instance toString Scheme
 
-check :: [Either TypeDef Function] -> Either [String] (Expression, [([Char], Scheme)])
+check :: ![Either TypeDef Function] -> Either [String] (Expression, [([Char], Scheme)])