Prelude and (:) and []((:), []) bugs?

[Simon Marlow]

Ian Lynagh writes:
> On Thu, Sep 20, 2001 at 01:32:54PM +0100, Simon Marlow wrote:
> > (:) is allowed in an export list; it is just a normal operator. =20
>=20
> An export is
>=20
> export -> qvar
>        |  qtycon [(..) | ( qcname1 , ... , qcnamen )] (n>=3D0)
>        |  qtycls [(..) | ( qvar1 , ... , qvarn )] (n>=3D0)
>        |  module modid
>=20
> and we need to match (:). We can clearly reduce this to
[ proof that this isn't possible deleted ]

Ah, I forgot that you can't export a constructor on its own.  In which
case, I would like to submit a bug report for Hugs:  Hugs allows
constructors to be named in an export list, and it shouldn't (see
Section 5.2 in The Report, point 2 in the enumerated list).

Cheers,
	Simon