Mercurial > urweb
comparison src/elaborate.sig @ 1745:518e0b23c4ef
-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 |