Mercurial > urweb
diff src/elaborate.sig @ 1531:7efcf8f4a44a
'-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