Mercurial > urweb

comparison src/monoize.sml @ 646:fb2a0e76dcef

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ListEdit demo, minus prose
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 12:44:40 -0400
parents aa2290c32ce2
children bab524996fca
comparison
equal deleted inserted replaced
645:1b571a05874c 646:fb2a0e76dcef
1952 ((L'.EStrcat (ts, 1952 ((L'.EStrcat (ts,
1953 (L'.EPrim (Prim.String (" name=\"" ^ name ^ "\"/>")), 1953 (L'.EPrim (Prim.String (" name=\"" ^ name ^ "\"/>")),
1954 loc)), loc), fm) 1954 loc)), loc), fm)
1955 end 1955 end
1956 | SOME (_, src, _) => 1956 | SOME (_, src, _) =>
1957 (strcat [str "<script type=\"text/javascript\">inp(\"input\",", 1957 (strcat [str "<span><script type=\"text/javascript\">inp(\"input\",",
1958 (L'.EJavaScript (L'.Script, src, NONE), loc), 1958 (L'.EJavaScript (L'.Script, src, NONE), loc),
1959 str ")</script>"], 1959 str ")</script></span>"],
1960 fm)) 1960 fm))
1961 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs); 1961 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs);
1962 raise Fail "No name passed to textbox tag")) 1962 raise Fail "No name passed to textbox tag"))
1963 | "password" => input "password" 1963 | "password" => input "password"
1964 | "textarea" => 1964 | "textarea" =>
2028 val sc = strcat [str "inp(\"input\",", 2028 val sc = strcat [str "inp(\"input\",",
2029 (L'.EJavaScript (L'.Script, src, NONE), loc), 2029 (L'.EJavaScript (L'.Script, src, NONE), loc),
2030 str ")"] 2030 str ")"]
2031 val sc = setAttrs sc 2031 val sc = setAttrs sc
2032 in 2032 in
2033 (strcat [str "<script type=\"text/javascript\">", 2033 (strcat [str "<span><script type=\"text/javascript\">",
2034 sc, 2034 sc,
2035 str "</script>"], 2035 str "</script></span>"],
2036 fm) 2036 fm)
2037 end) 2037 end)
2038 2038
2039 | "tabl" => normal ("table", NONE, NONE) 2039 | "tabl" => normal ("table", NONE, NONE)
2040 | _ => normal (tag, NONE, NONE) 2040 | _ => normal (tag, NONE, NONE)