20 Sep
2001
20 Sep
'01
2:26 p.m.
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