Mercurial > urweb

diff src/elaborate.sig @ 1745:518e0b23c4ef

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
-dumpTypesOnError
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 May 2012 12:58:13 -0400
parents 6fcce0592178
children
line wrap: on
line diff
--- a/src/elaborate.sig	Sat May 05 12:45:35 2012 -0400
+++ b/src/elaborate.sig	Sat May 05 12:58:13 2012 -0400
@@ -37,6 +37,9 @@
     (* After elaboration (successful or failed), should I output a mapping from
      * all identifiers to their kinds/types? *)
 
+    val dumpTypesOnError : bool ref
+    (* Like above, but only used if there are compile errors. *)
+
     val unifyMore : bool ref
     (* Run all phases of type inference, even if an error is detected by an
      * early phase. *)