Mercurial > urweb

comparison src/monoize.sml @ 834:74e9e7642f08

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Jun 2009 11:50:53 -0400
parents 669ac5e9a69e
children 44c2c089ca15
comparison
equal deleted inserted replaced
833:9a1026e2b3f5 834:74e9e7642f08
2714 2714
2715 | "cselect" => 2715 | "cselect" =>
2716 (case List.find (fn ("Source", _, _) => true | _ => false) attrs of 2716 (case List.find (fn ("Source", _, _) => true | _ => false) attrs of
2717 NONE => 2717 NONE =>
2718 let 2718 let
2719 val (xml, fm) = monoExp (env, st, fm) xml
2719 val (ts, fm) = tagStart "select" 2720 val (ts, fm) = tagStart "select"
2720 in 2721 in
2721 ((L'.EStrcat (ts, 2722 (strcat [ts,
2722 (L'.EPrim (Prim.String " />"), loc)), 2723 str ">",
2723 loc), fm) 2724 xml,
2725 str "</select>"],
2726 fm)
2724 end 2727 end
2725 | SOME (_, src, _) => 2728 | SOME (_, src, _) =>
2726 let 2729 let
2727 val (xml, fm) = monoExp (env, st, fm) xml 2730 val (xml, fm) = monoExp (env, st, fm) xml
2728 2731