Mercurial > urweb
comparison src/elaborate.sml @ 1745:518e0b23c4ef
-dumpTypesOnError
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 05 May 2012 12:58:13 -0400 |
parents | 6fcce0592178 |
children | 1bbad32cb4a8 |
comparison
equal
deleted
inserted
replaced
1744:6fcce0592178 | 1745:518e0b23c4ef |
---|---|
37 open Print | 37 open Print |
38 open ElabPrint | 38 open ElabPrint |
39 open ElabErr | 39 open ElabErr |
40 | 40 |
41 val dumpTypes = ref false | 41 val dumpTypes = ref false |
42 val dumpTypesOnError = ref false | |
42 val unifyMore = ref false | 43 val unifyMore = ref false |
43 val incremental = ref false | 44 val incremental = ref false |
44 val verbose = ref false | 45 val verbose = ref false |
45 | 46 |
46 structure IS = IntBinarySet | 47 structure IS = IntBinarySet |
4745 else | 4746 else |
4746 !checkConstraintErrors (); | 4747 !checkConstraintErrors (); |
4747 | 4748 |
4748 (*preface ("file", p_file env' file);*) | 4749 (*preface ("file", p_file env' file);*) |
4749 | 4750 |
4750 if !dumpTypes then | 4751 if !dumpTypes orelse (!dumpTypesOnError andalso ErrorMsg.anyErrors ()) then |
4751 let | 4752 let |
4752 open L' | 4753 open L' |
4753 open Print.PD | 4754 open Print.PD |
4754 open Print | 4755 open Print |
4755 | 4756 |