# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1230826617 18000
# Node ID 4c899701bd282ca57d51b4fa863e39801f55f77f
# Parent  1c969230ee7fb41055dedb4ebcb15da735653353
Reactive if

diff -r 1c969230ee7f -r 4c899701bd28 src/jscomp.sml
--- a/src/jscomp.sml	Thu Jan 01 11:13:08 2009 -0500
+++ b/src/jscomp.sml	Thu Jan 01 11:16:57 2009 -0500
@@ -170,7 +170,19 @@
                                            str ":",
                                            fail,
                                            str ")"]
-                      | PCon _ => raise Fail "jsPat: PCon"
+                      | PCon (_, PConFfi {mod = "Basis", con = "True", ...}, NONE) =>
+                        strcat [str ("(d" ^ Int.toString depth ^ "?"),
+                                succ,
+                                str ":",
+                                fail,
+                                str ")"]
+                      | PCon (_, PConFfi {mod = "Basis", con = "False", ...}, NONE) =>
+                        strcat [str ("(d" ^ Int.toString depth ^ "?"),
+                                fail,
+                                str ":",
+                                succ,
+                                str ")"]
+                      | PCon _ => raise Fail "PCon"
                       | PRecord xps =>
                         let
                             val (_, succ) = foldl
diff -r 1c969230ee7f -r 4c899701bd28 tests/stypes.ur
--- a/tests/stypes.ur	Thu Jan 01 11:13:08 2009 -0500
+++ b/tests/stypes.ur	Thu Jan 01 11:16:57 2009 -0500
@@ -22,5 +22,7 @@
                                        | Some n => return <xml>{[n]}</xml>}/>
         <a onclick={set sOpt (Some 7)}>Change</a><br/>
 
-      <dyn signal={b <- signal sBool; return <xml>{[b]}</xml>}/> <a onclick={set sBool False}>Change</a><br/>
+      <dyn signal={b <- signal sBool; return <xml>{[b]}</xml>}/>
+      <dyn signal={b <- signal sBool; if b then return <xml>Yes</xml> else return <xml>No</xml>}/>
+      <a onclick={set sBool False}>Change</a><br/>
     </body></xml>