Mercurial > urweb
comparison src/monoize.sml @ 643:aa2290c32ce2
Avoid any JavaScript when pages don't need it; update demo prose
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 10 Mar 2009 10:44:26 -0400 |
parents | 230654093b51 |
children | fb2a0e76dcef |
comparison
equal
deleted
inserted
replaced
642:4a125bbc602d | 643:aa2290c32ce2 |
---|---|
1922 :: assgns) | 1922 :: assgns) |
1923 end | 1923 end |
1924 in | 1924 in |
1925 case tag of | 1925 case tag of |
1926 "body" => normal ("body", NONE, | 1926 "body" => normal ("body", NONE, |
1927 SOME (L'.EStrcat ((L'.EPrim (Prim.String "<script src=\"/app.js\"></script>"), loc), | 1927 SOME (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]), loc)) |
1928 (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]), | |
1929 loc)), loc)) | |
1930 | 1928 |
1931 | "dyn" => | 1929 | "dyn" => |
1932 (case attrs of | 1930 (case attrs of |
1933 [("Signal", (L'.EApp ((L'.EAbs (_, _, _, (L'.ESignalReturn (L'.ERel 0, _), _)), _), | 1931 [("Signal", (L'.EApp ((L'.EAbs (_, _, _, (L'.ESignalReturn (L'.ERel 0, _), _)), _), |
1934 e), _), _)] => (e, fm) | 1932 e), _), _)] => (e, fm) |