Mercurial > urweb

diff src/elaborate.sig @ 1531:7efcf8f4a44a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'-dumpTypes'
author Adam Chlipala <adam@chlipala.net>
date Sun, 07 Aug 2011 16:53:06 -0400
parents 9a1026e2b3f5
children 5ecf67553da8
line wrap: on
line diff
--- a/src/elaborate.sig	Sun Aug 07 13:47:15 2011 -0400
+++ b/src/elaborate.sig	Sun Aug 07 16:53:06 2011 -0400
@@ -32,4 +32,8 @@
 
     val resolveClass : ElabEnv.env -> Elab.con -> Elab.exp option
 
+    val dumpTypes : bool ref
+    (* After elaboration (successful or failed), should I output a mapping from
+     * all identifiers to their kinds/types? *)
+
 end