strictness, ci

[minfp.git] / int.dcl

diff --git a/int.dcl b/int.dcl
index 356b986..fc51620 100644 (file)
--- a/int.dcl
+++ b/int.dcl
@@ -4,4 +4,5 @@ from Data.Either import :: Either
 from ast import :: Expression, :: Value
 
 :: Eval a
-int :: Expression -> Either [String] Value
+
+int :: !Expression -> Either [String] Value