comparison src/monoize.sml @ 1099:118ab9641a64

ctextarea; s/header/include in the manual
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Dec 2009 13:34:03 -0500
parents 25d491287358
children 72670131dace
comparison
equal deleted inserted replaced
1098:c023bc6ab914 1099:118ab9641a64
2983 fm) 2983 fm)
2984 end) 2984 end)
2985 2985
2986 | "coption" => normal ("option", NONE, NONE) 2986 | "coption" => normal ("option", NONE, NONE)
2987 2987
2988 | "ctextarea" =>
2989 (case List.find (fn ("Source", _, _) => true | _ => false) attrs of
2990 NONE =>
2991 let
2992 val (ts, fm) = tagStart "textarea"
2993 in
2994 ((L'.EStrcat (ts,
2995 (L'.EPrim (Prim.String " />"), loc)),
2996 loc), fm)
2997 end
2998 | SOME (_, src, _) =>
2999 let
3000 val sc = strcat [str "tbx(exec(",
3001 (L'.EJavaScript (L'.Script, src), loc),
3002 str "))"]
3003 val sc = setAttrs sc
3004 in
3005 (strcat [str "<script type=\"text/javascript\">",
3006 sc,
3007 str "</script>"],
3008 fm)
3009 end)
3010
2988 | "tabl" => normal ("table", NONE, NONE) 3011 | "tabl" => normal ("table", NONE, NONE)
2989 | _ => normal (tag, NONE, NONE)) 3012 | _ => normal (tag, NONE, NONE))
2990 end 3013 end
2991 3014
2992 | L.EApp ((L.ECApp ( 3015 | L.EApp ((L.ECApp (