#11080: Open data kinds -------------------------------------+------------------------------------- Reporter: dmcclean | Owner: jstolarek Type: feature request | Status: new Priority: low | Milestone: Component: Compiler | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #6024 | Differential Rev(s): Phab:D1778 Wiki Page: | GhcKinds/KindsWithoutData | -------------------------------------+------------------------------------- Comment (by jstolarek): Two design questions: 1. This work should obviously go into its own language extension. How should we name it? Note that it will enable not only open data kinds, but also closed data kinds without associated data type (#6024) 2. Should the new extension imply any other extensions? I think `PolyKinds` should be implied. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11080#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler