strictness, ci

[minfp.git] / int.dcl

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