summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-01-01 11:16:57 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-01-01 11:16:57 -0500
commit783f041bd07a2a7fb308c1c7d474d8997ff5ab12 (patch)
treed9c2cf66e198b19c607a6d9076c6f32371f37b2c /src
parente0d59f2e5dc62dbc99a7f85197b4b3c63fcaf101 (diff)
Reactive if
Diffstat (limited to 'src')
-rw-r--r--src/jscomp.sml14
1 files changed, 13 insertions, 1 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml
index ac3c9792..5e7a2673 100644
--- a/src/jscomp.sml
+++ b/src/jscomp.sml
@@ -170,7 +170,19 @@ fun jsExp mode skip outer =
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