[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 <ryan.gl.scott@…>): In [changeset:"dafa0128950a6b18d79818881b3eeb6dc5c855b4/ghc" dafa0128/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="dafa0128950a6b18d79818881b3eeb6dc5c855b4" Add regression test for #14209 Summary: Commit 0257dacf228024d0cc6ba247c707130637a25580 (`Refactor bindHsQTyVars and friends`) ended up fixing #14209. Let's add a regression test so that it stays fixed. Test Plan: make test TEST=T14209 Reviewers: austin, bgamari Subscribers: rwbarton, thomie GHC Trac Issues: #14209 Differential Revision: https://phabricator.haskell.org/D3936 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14209#comment:4> 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: 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