Mercurial > urweb

diff src/mono_print.sml @ 1280:3d06e0f7a6f3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial version of equalKnown working for secret
author Adam Chlipala <adam@chlipala.net>
date Tue, 27 Jul 2010 11:42:30 -0400
parents a2cd6664f57f
children 60e19545841b
line wrap: on
line diff
--- a/src/mono_print.sml	Sun Jun 13 14:13:47 2010 -0400
+++ b/src/mono_print.sml	Tue Jul 27 11:42:30 2010 -0400
@@ -429,6 +429,11 @@
       | 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]
 
 fun p_decl env (dAll as (d, _) : decl) =
     case d of