Mercurial > urweb

diff src/elab_env.sml @ 2196:100352dbae36

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix tricky case of functor signature subsumption
author Adam Chlipala <adam@chlipala.net>
date Fri, 27 Nov 2015 15:28:12 -0500
parents 22117edf8fd3
children
line wrap: on
line diff
--- a/src/elab_env.sml	Wed Nov 25 18:48:17 2015 -0500
+++ b/src/elab_env.sml	Fri Nov 27 15:28:12 2015 -0500
@@ -239,6 +239,10 @@
      str : (string * sgn) IM.map
 }
 
+fun dump (env : env) =
+    (print "NamedC:\n";
+     IM.appi (fn (n, (x, k, co)) => print (x ^ " [" ^ Int.toString n ^ "]\n")) (#namedC env))
+
 val namedCounter = ref 0
 
 fun newNamed () =