Mercurial > urweb

diff src/jscomp.sml @ 588:5803b4f041cb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basic datatype reactives
author Adam Chlipala <adamc@hcoop.net>
date Thu, 01 Jan 2009 11:26:34 -0500
parents 4c899701bd28
children 102e81d975e3
line wrap: on
line diff
--- a/src/jscomp.sml	Thu Jan 01 11:16:57 2009 -0500
+++ b/src/jscomp.sml	Thu Jan 01 11:26:34 2009 -0500
@@ -182,7 +182,22 @@
                                 str ":",
                                 succ,
                                 str ")"]
-                      | PCon _ => raise Fail "PCon"
+                      | PCon (_, pc, NONE) =>
+                        strcat [str ("(d" ^ Int.toString depth ^ "=="),
+                                patCon pc,
+                                str "?",
+                                succ,
+                                str ":",
+                                fail,
+                                str ")"]
+                      | PCon (_, pc, SOME p) =>
+                        strcat [str ("(d" ^ Int.toString depth ^ ".n=="),
+                                patCon pc,
+                                str ("?(d" ^ Int.toString depth ^ "=d" ^ Int.toString depth ^ ".v,"),
+                                succ,
+                                str "):",
+                                fail,
+                                str ")"]
                       | PRecord xps =>
                         let
                             val (_, succ) = foldl