Mercurial > urweb

comparison src/monoize.sml @ 569:162d5308e34f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Successfully generated a page element from a signal
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 16:19:26 -0500
parents 55fc747a67dc
children 86d324061ddc
comparison
equal deleted inserted replaced
568:55fc747a67dc 569:162d5308e34f
1842 | _ => normal () 1842 | _ => normal ()
1843 end 1843 end
1844 in 1844 in
1845 case tag of 1845 case tag of
1846 "body" => normal ("body", NONE, 1846 "body" => normal ("body", NONE,
1847 SOME (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]), loc)) 1847 SOME (L'.EStrcat ((L'.EPrim (Prim.String "<script src=\"/app.js\"></script>"), loc),
1848 (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]),
1849 loc)), loc))
1848 1850
1849 | "dyn" => 1851 | "dyn" =>
1850 (case #1 attrs of 1852 (case #1 attrs of
1851 (*L'.ERecord [("Signal", (L'.ESignalReturn e, _), _)] => (e, fm) 1853 (*L'.ERecord [("Signal", (L'.ESignalReturn e, _), _)] => (e, fm)
1852 | L'.ERecord [("Signal", (L'.EApp ((L'.EAbs (_, _, _, (L'.ESignalReturn (L'.ERel 0, _), _)), _), 1854 | L'.ERecord [("Signal", (L'.EApp ((L'.EAbs (_, _, _, (L'.ESignalReturn (L'.ERel 0, _), _)), _),