comparison src/monoize.sml @ 981:27a3412d23e4

Fix sel() generation bug
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Sep 2009 12:26:30 -0400
parents 68eda5b0636d
children 815afd323d86
comparison
equal deleted inserted replaced
980:134e8a4de36b 981:27a3412d23e4
2829 let 2829 let
2830 val (xml, fm) = monoExp (env, st, fm) xml 2830 val (xml, fm) = monoExp (env, st, fm) xml
2831 2831
2832 val sc = strcat [str "sel(exec(", 2832 val sc = strcat [str "sel(exec(",
2833 (L'.EJavaScript (L'.Script, src), loc), 2833 (L'.EJavaScript (L'.Script, src), loc),
2834 str ",", 2834 str "),exec(",
2835 (L'.EJavaScript (L'.Script, xml), loc), 2835 (L'.EJavaScript (L'.Script, xml), loc),
2836 str "))"] 2836 str "))"]
2837 val sc = setAttrs sc 2837 val sc = setAttrs sc
2838 in 2838 in
2839 (strcat [str "<script type=\"text/javascript\">", 2839 (strcat [str "<script type=\"text/javascript\">",