Prelude and (:) and ((:), ) bugs?
Thu, 20 Sep 2001 15:26:11 +0100
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
> An export is
> export -> qvar
> | qtycon [(..) | ( qcname1 , ... , qcnamen )] (n>=3D0)
> | qtycls [(..) | ( qvar1 , ... , qvarn )] (n>=3D0)
> | module modid
> 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).