Mercurial > urweb

diff src/mono_print.sml @ 1281:60e19545841b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
equalAny policies
author Adam Chlipala <adam@chlipala.net>
date Tue, 27 Jul 2010 12:12:08 -0400
parents 3d06e0f7a6f3
children a9a500d22ebc
line wrap: on
line diff
--- a/src/mono_print.sml	Tue Jul 27 11:42:30 2010 -0400
+++ b/src/mono_print.sml	Tue Jul 27 12:12:08 2010 -0400
@@ -429,11 +429,13 @@
       | PolSequence e => box [string "sendOwnIds",
                               space,
                               p_exp env e]
-      | PolEqualKnown {table = tab, field = nm} => box [string "equalKnown[",
-                                                        string nm,
-                                                        string "]",
-                                                        space,
-                                                        p_exp env tab]
+      | PolEqual {table = tab, field = nm, known} => box [string "equal",
+                                                          string (if known then "Known" else "Any"),
+                                                          string "[",
+                                                          string nm,
+                                                          string "]",
+                                                          space,
+                                                          p_exp env tab]
 
 fun p_decl env (dAll as (d, _) : decl) =
     case d of