Mercurial > urweb
diff src/mono_util.sml @ 569:162d5308e34f
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 | 57018f21cd5c |
line wrap: on
line diff
--- a/src/mono_util.sml Sat Dec 20 15:46:48 2008 -0500 +++ b/src/mono_util.sml Sat Dec 20 16:19:26 2008 -0500 @@ -323,6 +323,7 @@ S.map2 (mfe ctx e, fn e' => (EJavaScript (m, e'), loc)) + | ESignalReturn e => S.map2 (mfe ctx e, fn e' => @@ -421,6 +422,7 @@ | DTable _ => S.return2 dAll | DSequence _ => S.return2 dAll | DDatabase _ => S.return2 dAll + | DJavaScript _ => S.return2 dAll and mfvi ctx (x, n, t, e, s) = S.bind2 (mft t, @@ -501,6 +503,7 @@ | DTable _ => ctx | DSequence _ => ctx | DDatabase _ => ctx + | DJavaScript _ => ctx in S.map2 (mff ctx' ds', fn ds' => @@ -548,7 +551,8 @@ | DExport _ => count | DTable _ => count | DSequence _ => count - | DDatabase _ => count) 0 + | DDatabase _ => count + | DJavaScript _ => count) 0 end