Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1744:6fcce0592178 1745:518e0b23c4ef
35 35
36 val dumpTypes : bool ref 36 val dumpTypes : bool ref
37 (* After elaboration (successful or failed), should I output a mapping from 37 (* After elaboration (successful or failed), should I output a mapping from
38 * all identifiers to their kinds/types? *) 38 * all identifiers to their kinds/types? *)
39 39
40 val dumpTypesOnError : bool ref
41 (* Like above, but only used if there are compile errors. *)
42
40 val unifyMore : bool ref 43 val unifyMore : bool ref
41 (* Run all phases of type inference, even if an error is detected by an 44 (* Run all phases of type inference, even if an error is detected by an
42 * early phase. *) 45 * early phase. *)
43 46
44 val incremental : bool ref 47 val incremental : bool ref