comparison src/monoize.sml @ 1925:15802a00816c

activeHead: don't modify the head. just execute the code provided
author Sergey Mironov <grrwlf@gmail.com>
date Fri, 06 Dec 2013 14:52:47 +0400
parents b44138e6a3bf
children 44f607a7f4cd
comparison
equal deleted inserted replaced
1924:b44138e6a3bf 1925:15802a00816c
3602 3602
3603 | "activeHead" => 3603 | "activeHead" =>
3604 (case attrs of 3604 (case attrs of
3605 [("Code", e, _)] => 3605 [("Code", e, _)] =>
3606 ((L'.EStrcat 3606 ((L'.EStrcat
3607 ((L'.EPrim (Prim.String ("<script type=\"text/javascript\">active(execD(")), loc), 3607 ((L'.EPrim (Prim.String ("<script type=\"text/javascript\">execD(")), loc),
3608 (L'.EStrcat ((L'.EJavaScript (L'.Script, e), loc), 3608 (L'.EStrcat ((L'.EJavaScript (L'.Script, e), loc),
3609 (L'.EPrim (Prim.String ("))</script>")), loc)), loc)), loc), 3609 (L'.EPrim (Prim.String (")</script>")), loc)), loc)), loc),
3610 fm) 3610 fm)
3611 | _ => raise Fail "Monoize: Bad <activeHead> attributes") 3611 | _ => raise Fail "Monoize: Bad <activeHead> attributes")
3612 3612
3613 | "submit" => normal ("input type=\"submit\"", NONE) 3613 | "submit" => normal ("input type=\"submit\"", NONE)
3614 | "image" => normal ("input type=\"image\"", NONE) 3614 | "image" => normal ("input type=\"image\"", NONE)