Thu, 20 Sep 2001 13:32:54 +0100, Simon Marlow [EMAIL PROTECTED] pisze:
(:) is allowed in an export list; it is just a normal operator.
Not quite, it's a reservedop. Notice that a colon by itself, :,
is reserved solely for use as the Haskell list constructor; this
makes its treatment uniform
20 Sep 2001 12:37:36 -0600, Alastair David Reid [EMAIL PROTECTED] pisze:
Ah, I forgot that you can't export a constructor on its own.
You can't?
I probably knew this once but looking at it now, it seems kinda
surprising. Haskell's module system is supposed to be just namespace
It's hard to distinguish a constructor from a class in an
export list.
S
| -Original Message-
| From: Alastair David Reid [mailto:[EMAIL PROTECTED]]
| Sent: 20 September 2001 19:38
| To: Simon Marlow
| Cc: Ian Lynagh; [EMAIL PROTECTED]; [EMAIL PROTECTED]
| Subject: Re: Prelude
As far as I can tell, the report doesn't allow (:) or []((:),
[]) in the
export list, yet the hugs prelude has the first and the GHC
prelude has
the second. Have I missed something that allows them or is
this a bug in
the preludes or the report?
(:) is allowed in an export list; it is
On Thu, Sep 20, 2001 at 01:32:54PM +0100, Simon Marlow wrote:
As far as I can tell, the report doesn't allow (:) or []((:),
[]) in the
export list, yet the hugs prelude has the first and the GHC
prelude has
the second. Have I missed something that allows them or is
this a bug in
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 )]
Ah, I forgot that you can't export a constructor on its own.
You can't?
I probably knew this once but looking at it now, it seems kinda
surprising. Haskell's module system is supposed to be just namespace
control --nothing more-- so why is it preventing me from doing something
which is
As far as I can tell, the report doesn't allow (:) or []((:), []) in the
export list, yet the hugs prelude has the first and the GHC prelude has
the second. Have I missed something that allows them or is this a bug in
the preludes or the report?
Thanks
Ian
