#5286: panic: getPredTyDescription EqPred [7.0 regression]
---------------------------------+------------------------------------------
Reporter: simonmar | Owner: simonpj
Type: bug | Status: closed
Priority: highest | Milestone: 7.2.1
Component: Compiler | Version: 7.0.3
Resolution: fixed | Keywords:
Testcase: | Blockedby:
Difficulty: | Os: Unknown/Multiple
Blocking: | Architecture: Unknown/Multiple
Failure: Compile-time crash |
---------------------------------+------------------------------------------
Changes (by simonpj):
* status: new => closed
* resolution: => fixed
Comment:
Fixed by
{{{
commit 83cacd522a78cd7a19359b3df3e160cb44e2ca3f
Author: Simon Peyton Jones <[email protected]>
Date: Thu Jun 30 17:45:00 2011 +0100
Fix Trac #5286: getPredTyDescription
>---------------------------------------------------------------
compiler/codeGen/ClosureInfo.lhs | 2 +-
compiler/codeGen/StgCmmClosure.hs | 7 +++----
2 files changed, 4 insertions(+), 5 deletions(-)
diff --git a/compiler/codeGen/ClosureInfo.lhs
b/compiler/codeGen/ClosureInfo.lhs
index d2c63b3..4f59d95 100644
--- a/compiler/codeGen/ClosureInfo.lhs
+++ b/compiler/codeGen/ClosureInfo.lhs
@@ -1052,5 +1052,5 @@ getTyDescription ty getPredTyDescription ::
PredType -> String getPredTyDescription (ClassP cl _) = getOccString cl
getPredTyDescription (IParam ip _) = getOccString (ipNameName ip)
-getPredTyDescription (EqPred _ _) = panic "getPredTyDescription EqPred"
+getPredTyDescription (EqPred _ _) = "Type equality"
\end{code}
diff --git a/compiler/codeGen/StgCmmClosure.hs
b/compiler/codeGen/StgCmmClosure.hs
index d617743..a8d91f5 100644
--- a/compiler/codeGen/StgCmmClosure.hs
+++ b/compiler/codeGen/StgCmmClosure.hs
@@ -1086,10 +1086,9 @@ getTyDescription ty
fun_result other = getTyDescription other
getPredTyDescription :: PredType -> String
-getPredTyDescription (ClassP cl _) = getOccString cl
-getPredTyDescription (IParam ip _) = getOccString (ipNameName ip)
-getPredTyDescription (EqPred ty1 _ty2) = getTyDescription ty1 -- Urk?
-
+getPredTyDescription (ClassP cl _) = getOccString cl
+getPredTyDescription (IParam ip _) = getOccString (ipNameName ip)
+getPredTyDescription (EqPred {}) = "Type equality"
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5286#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
