Parse error when using ' with promoted kinds
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.
Trac metadata
Trac field | Value |
---|---|
Version | 7.5 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler (Parser) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |