Mercurial > urweb

diff src/core_print.sml @ 185:19ee24bffbc0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
FFI datatypes
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 17:57:47 -0400
parents d11754ffe252
children 88d46972de53
line wrap: on
line diff
--- a/src/core_print.sml	Sun Aug 03 16:53:13 2008 -0400
+++ b/src/core_print.sml	Sun Aug 03 17:57:47 2008 -0400
@@ -162,11 +162,11 @@
 fun p_patCon env pc =
     case pc of
         PConVar n => p_con_named env n
-      | PConFfi (m, x) => box [string "FFI(",
-                               string m,
-                               string ".",
-                               string x,
-                               string ")"]
+      | PConFfi {mod = m, con, ...} => box [string "FFI(",
+                                            string m,
+                                            string ".",
+                                            string con,
+                                            string ")"]
 
 fun p_pat' par env (p, _) =
     case p of
@@ -199,8 +199,8 @@
               string (#1 (E.lookupERel env n)))
          handle E.UnboundRel _ => string ("UNBOUND_" ^ Int.toString n))
       | ENamed n => p_enamed env n
-      | ECon (n, NONE) => p_con_named env n
-      | ECon (n, SOME e) => parenIf par (box [p_con_named env n,
+      | ECon (pc, NONE) => p_patCon env pc
+      | ECon (pc, SOME e) => parenIf par (box [p_patCon env pc,
                                               space,
                                               p_exp' true env e])
       | EFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"]