try letrec

[minfp.git] / int.dcl

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