#6024: Allow defining kinds alone, without a datatype
----------------------------------------+-----------------------------------
Reporter: dreixel | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: 7.8.1
Component: Compiler (Type checker) | Version: 7.5
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
----------------------------------------+-----------------------------------
Changes (by igloo):
* difficulty: => Unknown
* milestone: => 7.8.1
Comment:
Is it clear that being able to use the same names for different things
won't cause too much confusion?
I guess that we manage fine with constructors and types sharing names, so
perhaps there is no problem with types and kinds.
Are there any plans to have support for "sorts" and above in GHC? If so,
would each level have its own namespace?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6024#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
