diff src/prepare.sml @ 307:52d4c60518d4

First INSERT works
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 15:05:52 -0400
parents 59dc042629b9
children 04ebfe929a98
line wrap: on
line diff
--- a/src/prepare.sml	Sun Sep 07 14:38:14 2008 -0400
+++ b/src/prepare.sml	Sun Sep 07 15:05:52 2008 -0400
@@ -150,6 +150,13 @@
                        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)