From a424e0352aff3490a58d19de5ebf4a164bd03b65 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 5 May 2012 12:58:13 -0400
Subject: -dumpTypesOnError

---
 src/elaborate.sml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/elaborate.sml')

diff --git a/src/elaborate.sml b/src/elaborate.sml
index fe2e2f12..07a1d976 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -39,6 +39,7 @@
  open ElabErr
 
  val dumpTypes = ref false
+ val dumpTypesOnError = ref false
  val unifyMore = ref false
  val incremental = ref false
  val verbose = ref false
@@ -4747,7 +4748,7 @@ fun elabFile basis basis_tm topStr topSgn top_tm env file =
 
         (*preface ("file", p_file env' file);*)
 
-        if !dumpTypes then
+        if !dumpTypes orelse (!dumpTypesOnError andalso ErrorMsg.anyErrors ()) then
             let
                 open L'
                 open Print.PD
-- 
cgit v1.2.3