Mercurial > urweb

comparison src/elaborate.sml @ 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 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