summaryrefslogtreecommitdiff
path: root/src/expl.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 10:17:06 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 10:17:06 -0400
commit3316f3c317e587a5fc2ecf38f061a72b48e3b94e (patch)
treefae8c92c195e5f7976352a337017d285e729f859 /src/expl.sml
parent7281dbb2fc2a5f50c1049bad629f330e2ff3f7ca (diff)
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
Diffstat (limited to 'src/expl.sml')
-rw-r--r--src/expl.sml4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/expl.sml b/src/expl.sml
index bf40a511..d6ceb35b 100644
--- a/src/expl.sml
+++ b/src/expl.sml
@@ -73,6 +73,8 @@ datatype exp' =
| EField of exp * con * { field : con, rest : con }
| EFold of kind
+ | EWrite of exp
+
withtype exp = exp' located
datatype sgn_item' =
@@ -98,7 +100,7 @@ datatype decl' =
| DSgn of string * int * sgn
| DStr of string * int * sgn * str
| DFfiStr of string * int * sgn
- | DPage of con * exp
+ | DExport of int * sgn * str
and str' =
StrConst of decl list