#11080: Open data kinds -------------------------------------+------------------------------------- Reporter: dmcclean | Owner: 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: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by dmcclean): I'm not sure who you're asking, but I'll weigh in that as far as I know nobody has begun any implementation work yet and your contribution would probably be welcome. Personally implementing this is way over my head, so I can't offer to help myself. I do like the alternative syntax proposal `data Extension Unit where ...`. It's true that the grouping is semantically meaningless, but it does seem more similar to existing syntax. Also if this were to later be extended to allow adding new constructors to open types of kind `*` this syntax would seem to more naturally support adding new GADT style constructors. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11080#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler