[GHC] #14209: GHC 8.2.1 regression involving telescoping kind signature
#14209: GHC 8.2.1 regression involving telescoping kind signature -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: high | Milestone: 8.2.2 Component: Compiler | Version: 8.2.1 (Type checker) | Keywords: TypeInType | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The following program typechecks in GHC 8.0.1 and 8.0.2: {{{#!hs {-# LANGUAGE GADTs #-} {-# LANGUAGE TypeInType #-} module Bug where data MyProxy k (a :: k) = MyProxy data Foo (z :: MyProxy k (a :: k)) }}} But in GHC 8.2.1, it's rejected: {{{ GHCi, version 8.2.1: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/rgscott/.ghci [1 of 1] Compiling Bug ( Bug.hs, interpreted ) Bug.hs:6:1: error: Kind variable ‘k’ is implicitly bound in datatype ‘Foo’, but does not appear as the kind of any of its type variables. Perhaps you meant to bind it explicitly somewhere? Type variables with inferred kinds: (k :: *) (a :: k) (z :: MyProxy k a) | 6 | data Foo (z :: MyProxy k (a :: k)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14209 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14209: GHC 8.2.1 regression involving telescoping kind signature -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: high | Milestone: 8.2.2 Component: Compiler (Type | Version: 8.2.1 checker) | Resolution: | Keywords: TypeInType Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #13738 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * related: => #13738 Comment: Actually, it turns out that this typechecks once again on GHC HEAD due to commit 0257dacf228024d0cc6ba247c707130637a25580 (`Refactor bindHsQTyVars and friends`). I can certainly add a test case, but this makes me wonder: should we merge 0257dacf228024d0cc6ba247c707130637a25580 into GHC 8.2.2? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14209#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14209: GHC 8.2.1 regression involving telescoping kind signature -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: patch Priority: high | Milestone: 8.2.2 Component: Compiler (Type | Version: 8.2.1 checker) | Resolution: | Keywords: TypeInType Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #13738 | Differential Rev(s): Phab:D3936 Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * status: new => patch * differential: => Phab:D3936 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14209#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14209: GHC 8.2.1 regression involving telescoping kind signature -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: patch Priority: high | Milestone: 8.4.1 Component: Compiler (Type | Version: 8.2.1 checker) | Resolution: | Keywords: TypeInType Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #13738 | Differential Rev(s): Phab:D3936 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * milestone: 8.2.2 => 8.4.1 Comment: As discussed in ticket:13738#comment:20 we won't be merging the patch for 8.2.2. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14209#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14209: GHC 8.2.1 regression involving telescoping kind signature
-------------------------------------+-------------------------------------
Reporter: RyanGlScott | Owner: (none)
Type: bug | Status: patch
Priority: high | Milestone: 8.4.1
Component: Compiler (Type | Version: 8.2.1
checker) |
Resolution: | Keywords: TypeInType
Operating System: Unknown/Multiple | Architecture:
Type of failure: GHC rejects | Unknown/Multiple
valid program | Test Case:
Blocked By: | Blocking:
Related Tickets: #13738 | Differential Rev(s): Phab:D3936
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Ryan Scott
#14209: GHC 8.2.1 regression involving telescoping kind signature -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: closed Priority: high | Milestone: 8.4.1 Component: Compiler (Type | Version: 8.2.1 checker) | Resolution: fixed | Keywords: TypeInType Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: GHC rejects | Test Case: valid program | polykinds/T14209 Blocked By: | Blocking: Related Tickets: #13738 | Differential Rev(s): Phab:D3936 Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * status: patch => closed * testcase: => polykinds/T14209 * resolution: => fixed -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14209#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC