summaryrefslogtreecommitdiff
path: root/src/cjr.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-10 14:02:54 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-10 14:02:54 -0400
commit425bb7f90ffc8a6f8a1590ed76f305f3029a0beb (patch)
tree5b6d5cf41f31998021e1b29ce4407de55dba12bc /src/cjr.sml
parent5f2f492e122a26017496ed57d76ae39c6b1b254a (diff)
Writing HTML
Diffstat (limited to 'src/cjr.sml')
-rw-r--r--src/cjr.sml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/cjr.sml b/src/cjr.sml
index 03e286d0..f357c351 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -53,6 +53,8 @@ datatype exp' =
| ELet of (string * typ * exp) list * exp
+ | EWrite of exp
+
withtype exp = exp' located
datatype decl' =