Mercurial > urweb

diff src/elab_print.sml @ 2190:22117edf8fd3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
After a tricky debugging session, limit visibility of type-class instances from anonymous modules
author Adam Chlipala <adam@chlipala.net>
date Sun, 01 Nov 2015 16:33:14 -0500
parents 403f0cc65b9c
children
line wrap: on
line diff
--- a/src/elab_print.sml	Sun Nov 01 14:17:09 2015 -0500
+++ b/src/elab_print.sml	Sun Nov 01 16:33:14 2015 -0500
@@ -611,13 +611,13 @@
                                  string ":",
                                  space,
                                  p_con env c]
-      | SgiStr (x, n, sgn) => box [string "structure",
-                                   space,
-                                   p_named x n,
-                                   space,
-                                   string ":",
-                                   space,
-                                   p_sgn env sgn]
+      | SgiStr (_, x, n, sgn) => box [string "structure",
+                                      space,
+                                      p_named x n,
+                                      space,
+                                      string ":",
+                                      space,
+                                      p_sgn env sgn]
       | SgiSgn (x, n, sgn) => box [string "signature",
                                    space,
                                    p_named x n,