strictness, ci

[minfp.git] / int.dcl

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