Parentheses needed when declaring a type synonym with ':

[goldfire]

Consider the following code:

{-# LANGUAGE DataKinds, TypeOperators #-}

type Foo = (Int ': '[])

type Bar = Int ': '[]

The declaration for Foo compiles, while the declaration for Bar fails with a parse error on :.

This is clearly easy to work around, but I thought it was enough of an infelicity to be reported.

[p.capriotti@…]

commit f0d10e348d29c19a439d921dfbfb0c66a02f6b75

Author: Paolo Capriotti <p.capriotti@gmail.com>
Date:   Fri Apr 6 15:01:01 2012 +0100

    Allow promoted constructors in the typedoc production (#5948)

 compiler/parser/Parser.y.pp |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

[pcapriotti]

Thanks for the report.