Mercurial > urweb
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)