summaryrefslogtreecommitdiff
path: root/src/prepare.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 15:05:52 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 15:05:52 -0400
commit0ba7ae8dbfdaf703260e58f700ce6e2ccf1ce2e9 (patch)
tree2d35bf222bfe1c3321585a1129bfc9446a802956 /src/prepare.sml
parenta783fe7797e3bff493e595e07ed53a43dc4754d2 (diff)
First INSERT works
Diffstat (limited to 'src/prepare.sml')
-rw-r--r--src/prepare.sml7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/prepare.sml b/src/prepare.sml
index a1dd0e79..bb1af6cc 100644
--- a/src/prepare.sml
+++ b/src/prepare.sml
@@ -150,6 +150,13 @@ fun prepExp (e as (_, loc), sns) =
initial = initial, prepared = SOME (#2 sns)}, loc),
((String.concat (rev ss), n) :: #1 sns, #2 sns + 1)))
+ | EDml {dml, ...} =>
+ (case prepString (dml, [], 0) of
+ NONE => (e, sns)
+ | SOME (ss, n) =>
+ ((EDml {dml = dml, prepared = SOME (#2 sns)}, loc),
+ ((String.concat (rev ss), n) :: #1 sns, #2 sns + 1)))
+
fun prepDecl (d as (_, loc), sns) =
case #1 d of
DStruct _ => (d, sns)