summaryrefslogtreecommitdiff
path: root/src/cloconv.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/cloconv.sml
parent5f2f492e122a26017496ed57d76ae39c6b1b254a (diff)
Writing HTML
Diffstat (limited to 'src/cloconv.sml')
-rw-r--r--src/cloconv.sml15
1 files changed, 14 insertions, 1 deletions
diff --git a/src/cloconv.sml b/src/cloconv.sml
index 4421003b..89d64fdf 100644
--- a/src/cloconv.sml
+++ b/src/cloconv.sml
@@ -189,7 +189,20 @@ fun ccExp env ((e, loc), D) =
((L'.EField (e1, x), loc), D)
end
- | L.EStrcat _ => raise Fail "Cloconv EStrcat"
+ | L.EStrcat (e1, e2) =>
+ let
+ val (e1, D) = ccExp env (e1, D)
+ val (e2, D) = ccExp env (e2, D)
+ in
+ ((L'.EStrcat (e1, e2), loc), D)
+ end
+
+ | L.EWrite e =>
+ let
+ val (e, D) = ccExp env (e, D)
+ in
+ ((L'.EWrite e, loc), D)
+ end
fun ccDecl ((d, loc), D) =
case d of