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.
>
> An export is
>
> export -> qvar
> | qtycon [(..) | ( qcname1 , ... , qcnamen )] (n>=0)
> | qtycls [(..) | ( qvar1 , ... , qvarn )] (n>=0)
> | 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).
Cheers,
Simon
_______________________________________________
Hugs-Bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/hugs-bugs
