[GHC] #12922: Kind classes compile with PolyKinds
GHC
ghc-devs at haskell.org
Wed Jun 27 19:27:16 UTC 2018
#12922: Kind classes compile with PolyKinds
-------------------------------------+-------------------------------------
Reporter: Tritlo | Owner: goldfire
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 8.0.1
Resolution: wontfix | Keywords: TypeInType
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Changes (by monoidal):
* status: new => closed
* resolution: => wontfix
Comment:
We no longer distinguish between `TypeInType` and `PolyKinds`, so I'm
closing this ticket.
See https://github.com/ghc-proposals/ghc-
proposals/blob/master/proposals/0020-no-type-in-type.rst and #15195 for
more details.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12922#comment:9>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list