diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-12-02 16:49:57 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-12-04 13:41:05 +0000 |
| commit | b67f50350e6d15049ba2110b31dd63f20db27746 (patch) | |
| tree | f41a6ba839d189e43b2f38a982f5d0ceb9cc994a | |
| parent | e1221541ec1587c8bb6a637afd09490566dbdd0e (diff) | |
| download | haskell-b67f50350e6d15049ba2110b31dd63f20db27746.tar.gz | |
Improve ASSERT
| -rw-r--r-- | compiler/basicTypes/Demand.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/basicTypes/Demand.lhs b/compiler/basicTypes/Demand.lhs index 42590c9516..cd844a138f 100644 --- a/compiler/basicTypes/Demand.lhs +++ b/compiler/basicTypes/Demand.lhs @@ -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} |