#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 <simo...@microsoft.com> 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 Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs