Mercurial > urweb

diff src/cjr_print.sml @ 276:ed4af33681d8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Switch base types to 64-bit versions
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 14:59:27 -0400
parents 73456bfde988
children 286f734db702
line wrap: on
line diff
--- a/src/cjr_print.sml	Tue Sep 02 14:40:57 2008 -0400
+++ b/src/cjr_print.sml	Tue Sep 02 14:59:27 2008 -0400
@@ -157,7 +157,7 @@
               space,
               string "!=",
               space,
-              Prim.p_t (Prim.Int n),
+              Prim.p_t_GCC (Prim.Int n),
               string ")",
               space,
               exit],
@@ -169,7 +169,7 @@
               string (Int.toString depth),
               string ",",
               space,
-              Prim.p_t (Prim.String s),
+              Prim.p_t_GCC (Prim.String s),
               string "))",
               space,
               exit],
@@ -323,7 +323,7 @@
 
 fun p_exp' par env (e, loc) =
     case e of
-        EPrim p => Prim.p_t p
+        EPrim p => Prim.p_t_GCC p
       | ERel n => p_rel env n
       | ENamed n => p_enamed env n
       | ECon (Enum, pc, _) => p_patCon env pc