Opened 8 years ago

Closed 8 years ago

#5668 closed bug (fixed)

panic: updInertSet

Reported by: simonmar Owned by: dimitris
Priority: highest Milestone: 7.4.1
Component: Compiler Version: 7.2.1
Keywords: Cc: dimitris@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Compile-time crash Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

Building parsec-3.1.2 with HEAD panics with a complaint about updInertSet.

Building parsec-3.1.2...
[ 1 of 25] Compiling Text.Parsec.Pos  ( Text/Parsec/Pos.hs, dist/build/Text/Parsec/Pos.o )
[ 2 of 25] Compiling Text.Parsec.Error ( Text/Parsec/Error.hs, dist/build/Text/Parsec/Error.o )
[ 3 of 25] Compiling Text.ParserCombinators.Parsec.Error ( Text/ParserCombinators/Parsec/Error.hs, dist/build/Text/ParserCombinators/Parsec/Error.o )
[ 4 of 25] Compiling Text.ParserCombinators.Parsec.Pos ( Text/ParserCombinators/Parsec/Pos.hs, dist/build/Text/ParserCombinators/Parsec/Pos.o )
[ 5 of 25] Compiling Text.Parsec.Prim ( Text/Parsec/Prim.hs, dist/build/Text/Parsec/Prim.o )
ghc-stage2: panic! (the 'impossible' happened)
  (GHC version 7.3.20111129 for x86_64-unknown-linux):
        updInertSet
    Multiple inert equalities:
    Old (already inert): ([W]{0} ( cobox{v a5FZ} [lid] :: ( m_ta4{tv} [tau] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
                                                                               -> ghc-prim:GHC.Prim.*{(w) tc 34d} )
                                                          ghc-prim:GHC.Types.~{(w) tc 31Q} ( m{tv a5Fj} [sk] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
                                                                                                                -> ghc-prim:GHC.Prim.*{(w) tc 34d} ) ) :: ( m_ta4{tv} [tau] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
                                                                                                                                                                               -> ghc-prim:GHC.Prim.*{(w) tc 34d} )
                                                                                                                                                          ghc-prim:GHC.Types.~{(w) tc 31Q} ( m{tv a5Fj} [sk] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
                                                                                                                                                                                                                -> ghc-prim:GHC.Prim.*{(w) tc 34d} ) (CTyEqCan),
                          ( cobox{v a5FZ} [lid] :: ( m_ta4{tv} [tau] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
                                                                        -> ghc-prim:GHC.Prim.*{(w) tc 34d} )
                                                   ghc-prim:GHC.Types.~{(w) tc 31Q} ( m{tv a5Fj} [sk] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
                                                                                                         -> ghc-prim:GHC.Prim.*{(w) tc 34d} ) ))
    Trying to insert   : ([W]{0} ( cobox{v a5FZ} [lid] :: ( m_ta4{tv} [tau] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
                                                                               -> ghc-prim:GHC.Prim.*{(w) tc 34d} )
                                                          ghc-prim:GHC.Types.~{(w) tc 31Q} ( m{tv a5Fj} [sk] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
                                                                                                                -> ghc-prim:GHC.Prim.*{(w) tc 34d} ) ) :: ( m_ta4{tv} [tau] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
                                                                                                                                                                               -> ghc-prim:GHC.Prim.*{(w) tc 34d} )
                                                                                                                                                          ghc-prim:GHC.Types.~{(w) tc 31Q} ( m{tv a5Fj} [sk] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
                                                                                                                                                                                                                -> ghc-prim:GHC.Prim.*{(w) tc 34d} ) (CTyEqCan),
                          ( cobox{v a5FZ} [lid] :: ( m_ta4{tv} [tau] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
                                                                        -> ghc-prim:GHC.Prim.*{(w) tc 34d} )
                                                   ghc-prim:GHC.Types.~{(w) tc 31Q} ( m{tv a5Fj} [sk] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
                                                                                                         -> ghc-prim:GHC.Prim.*{(w) tc 34d} ) ))

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

To repeat:

$ cabal install --with-ghc=$ghcval parsec

where $ghcval is your GHC. In this case it was a GHC I had just built with validate, I wanted to install parsec so I could test something else.

Change History (4)

comment:1 Changed 8 years ago by dimitris

Cc: dimitris@… added
Owner: set to dimitris

comment:2 Changed 8 years ago by dimitris@…

commit e4d87e140697bcb380cc51a5aee598409930281e

Author: Dimitrios Vytiniotis <dimitris@microsoft.com>
Date:   Tue Nov 29 19:15:17 2011 +0000

    Insufficient rewriting during flattening. This fixes #5668.

 compiler/typecheck/TcCanonical.lhs |   49 ++++++++++++++++++++++++++++++++---
 1 files changed, 44 insertions(+), 5 deletions(-)

comment:3 Changed 8 years ago by simonmar

Status: newmerge

Presuming this is fixed now.

comment:4 Changed 8 years ago by igloo

difficulty: Unknown
Resolution: fixed
Status: mergeclosed

Patch is included in 7.4 branch.

Note: See TracTickets for help on using tickets.