Improve ASSERT
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 2 Dec 2013 16:49:57 +0000 (16:49 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 4 Dec 2013 13:41:05 +0000 (13:41 +0000)
compiler/basicTypes/Demand.lhs

index 42590c9..cd844a1 100644 (file)
@@ -437,7 +437,7 @@ seqMaybeUsed _          = ()
 splitUseProdDmd :: Int -> UseDmd -> [MaybeUsed]
 splitUseProdDmd n Used          = replicate n useTop
 splitUseProdDmd n UHead         = replicate n Abs
-splitUseProdDmd n (UProd ds)    = ASSERT( ds `lengthIs` n ) ds
+splitUseProdDmd n (UProd ds)    = ASSERT2( ds `lengthIs` n, ppr n $$ ppr ds ) ds
 splitUseProdDmd _ d@(UCall _ _) = pprPanic "attempt to prod-split usage call demand" (ppr d)
 \end{code}