#6034: Parse error when using ' with promoted kinds
---------------------------------------+------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Parser)
Version: 7.5 | Keywords: DataKinds
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC rejects valid program | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------------+------------------------------------
The following code generates a parse error:
{{{
{-# LANGUAGE DataKinds #-}
data Proxy a = Proxy
foo :: Proxy '['[True, False],'[False]]
foo = Proxy
}}}
The problem is that the {{{'['}}} prefix to the type index is parsed as a
character. Rewriting that string as {{{'[ '}}} fixes the problem.
This is admittedly a very low priority problem, but it seemed to be enough
of an infelicity to be worth reporting.
This was tested on 7.5.20120420.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6034>
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
