Stop double-stacktrace in ASSERT failures
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 4 Jan 2018 16:12:39 +0000 (16:12 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 4 Jan 2018 16:15:18 +0000 (16:15 +0000)
We were getting the stack trace printed twice in assertion
failures (e.g. see the Description of Trac #14552).

This fixes it, by deleting code.

(c.f. Trac #14635 which reports the same bug in documentation).

compiler/utils/Outputable.hs

index 3050fa1..793b8fb 100644 (file)
@@ -1203,9 +1203,7 @@ warnPprTrace True   file  line  msg x
 -- line number. Should typically be accessed with the ASSERT family of macros
 assertPprPanic :: HasCallStack => String -> Int -> SDoc -> a
 assertPprPanic _file _line msg
-  = pprPanic "ASSERT failed!" doc
-  where
-    doc = sep [ msg, callStackDoc ]
+  = pprPanic "ASSERT failed!" msg
 
 pprDebugAndThen :: DynFlags -> (String -> a) -> SDoc -> SDoc -> a
 pprDebugAndThen dflags cont heading pretty_msg