Mercurial > urweb

diff src/flat_print.sml @ 29:537db4ee89f4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Translation to Cjr
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Jun 2008 18:28:43 -0400
parents 4ab19c19665f
children 1c91c5e6840f
line wrap: on
line diff
--- a/src/flat_print.sml	Tue Jun 10 16:22:46 2008 -0400
+++ b/src/flat_print.sml	Tue Jun 10 18:28:43 2008 -0400
@@ -42,7 +42,8 @@
 
 fun p_typ' par env (t, _) =
     case t of
-        TFun (t1, t2) => parenIf par (box [p_typ' true env t1,
+        TTop => string "?"
+      | TFun (t1, t2) => parenIf par (box [p_typ' true env t1,
                                            space,
                                            string "->",
                                            space,
@@ -88,7 +89,7 @@
                                            p_exp' true env e2])
 
       | ERecord xes => box [string "{",
-                            p_list (fn (x, e) =>
+                            p_list (fn (x, e, _) =>
                                        box [string x,
                                             space,
                                             string "=",
@@ -102,7 +103,7 @@
 
       | ELet (xes, e) =>
         let
-            val (env, pps) = foldl (fn ((x, e), (env, pps)) =>
+            val (env, pps) = foldl (fn ((x, _, e), (env, pps)) =>
                                        (E.pushERel env x dummyTyp,
                                         List.revAppend ([space,
                                                         string "val",