[GHC] #9222: Unexpected DataKind Panic
#9222: Unexpected DataKind Panic -------------------------------------------+------------------------------- Reporter: ekmett | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- Here's a simplified version of a panic I'm getting: {{{ {-# LANGUAGE RankNTypes, GADTs, DataKinds, PolyKinds, TypeOperators, TypeFamilies #-} import Data.Proxy data Want :: (i,j) -> * where Want :: (a ~ '(b,c) => Proxy b) -> Want a }}} {{{ GHCi, version 7.8.2: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. ghc: panic! (the 'impossible' happened) (GHC version 7.8.2 for x86_64-apple-darwin): tcTyVarDetails k{tv aAv} [tv] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9222> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9222: Unexpected DataKind Panic --------------------------------------------+------------------------------ Reporter: ekmett | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by ekmett): If I fix up the quantifiers then the panic goes away, but the 'impossible' shouldn't happen, nonetheless. ;) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9222#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9222: Unexpected DataKind Panic --------------------------------------------+------------------------------ Reporter: ekmett | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"2be99d2309471bc75ddb9cb47acda9ccbcb7ab63/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="2be99d2309471bc75ddb9cb47acda9ccbcb7ab63" In TcValidity.checkAmbiguity, skolemise kind vars that appear free in the kinds of type variables This was shown up by Trac #9222. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9222#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9222: Unexpected DataKind Panic --------------------------------------------+------------------------------ Reporter: ekmett | Owner: Type: bug | Status: merge Priority: normal | Milestone: 7.8.4 Component: Compiler (Type checker) | Version: 7.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: polykinds/T9222 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Changes (by simonpj): * status: new => merge * testcase: => polykinds/T9222 * milestone: => 7.8.4 Comment: Merge if we ever do 7.8.4 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9222#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9222: Unexpected DataKind Panic --------------------------------------------+------------------------------ Reporter: ekmett | Owner: Type: bug | Status: merge Priority: normal | Milestone: 7.8.4 Component: Compiler (Type checker) | Version: 7.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: polykinds/T9222 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"127c45ea30eaee6b5244b3f30aaa701d0ad327ac/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="127c45ea30eaee6b5244b3f30aaa701d0ad327ac" Test Trac #9222 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9222#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9222: Unexpected DataKind Panic --------------------------------------------+------------------------------ Reporter: ekmett | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.3 Component: Compiler (Type checker) | Version: 7.8.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: polykinds/T9222 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Changes (by thoughtpolice): * status: merge => closed * resolution: => fixed * milestone: 7.8.4 => 7.8.3 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9222#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9222: Unexpected DataKind Panic --------------------------------------------+------------------------------ Reporter: ekmett | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.3 Component: Compiler (Type checker) | Version: 7.8.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: polykinds/T9222 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"b82410ab8908f1ec2a6aa14cce62948c92bcbce9/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="b82410ab8908f1ec2a6aa14cce62948c92bcbce9" Trac #9222 is actually an ambiguous type, now detected }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9222#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC