Prefix syntax for promoted list kind isn't parsed properly
(Originally from https://stackoverflow.com/questions/27673578/)
Given the following input file:
{-# LANGUAGE KindSignatures, GADTs, DataKinds, TypeOperators #-}
data Foo1 :: [*] -> * where
data Foo2 :: ([] *) -> * where
it fails on the definition of Foo2
:
list-promote2.hs:4:16: parse error on input `]'
Trac metadata
Trac field | Value |
---|---|
Version | 7.10.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | low |
Resolution | Unresolved |
Component | Compiler (Parser) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |