#6034: Parse error when using ' with promoted kinds
----------------------------------+-----------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: low | Milestone: _|_
Component: Compiler (Parser) | Version: 7.5
Keywords: DataKinds | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: GHC rejects valid program
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
----------------------------------+-----------------------------------------
Changes (by simonpj):
* priority: normal => low
* difficulty: => Unknown
* milestone: => _|_
Comment:
Right. Indeed I could imagine character literals at the type level
(although we don't have them at the moment. So I'm guessing that
{{{
foo :: Proxy '[ '[True, False],'[False] ]
}}}
would be something to encourage. It's a shortcoming of the quote syntax
to be sure.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6034#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
