diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-06-02 11:50:53 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-06-02 11:50:53 -0400 |
| commit | 0f7b6944108ad94e899c41033eef15917ed1065c (patch) | |
| tree | 4cbf52d1978e57eba75d8fbbb9091394c67d0a6a /src/monoize.sml | |
| parent | becba29a1753db244749e87ba13eebd1be401ef6 (diff) | |
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 4d7a666e..9654fd53 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -2716,11 +2716,14 @@ fun monoExp (env, st, fm) (all as (e, loc)) = (case List.find (fn ("Source", _, _) => true | _ => false) attrs of NONE => let + val (xml, fm) = monoExp (env, st, fm) xml val (ts, fm) = tagStart "select" in - ((L'.EStrcat (ts, - (L'.EPrim (Prim.String " />"), loc)), - loc), fm) + (strcat [ts, + str ">", + xml, + str "</select>"], + fm) end | SOME (_, src, _) => let |