#14154: Some cocktail of features causes GHC panic -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"4455c86d1635bfb846e750b21dda36dcee028b5e/ghc" 4455c86d/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="4455c86d1635bfb846e750b21dda36dcee028b5e" Use a well-kinded substitution to instantiate In tcDataConPat we were creating an ill-kinded substitution -- or at least one that is well kinded only after you have solved other equalities. THat led to a crash, because the instantiated data con type was ill-kinded. This patch guarantees that the instantiating substitution is well-kinded. Fixed Trac #14154 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14154#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler