On 20-May-2000, Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> wrote:
> Sat, 20 May 2000 20:45:47 +1000, Fergus Henderson <[EMAIL PROTECTED]> pisze:
> > This is somewhat ambiguous; if it is really intended that unary -
> > always refer to the negate function define in the Prelude, it really
> > ought to be written as
> >
> > The special form -e denotes prefix negation, the only prefix operator in
>Haskell , and is
> > syntax for Prelude.negate (e).
> > ^^^^^^^^
>
> IMHO it is better to state that all such names mentioned in the report
> refer to Prelude versions, than to clutter the report with explicit
> Prelude qualification everywhere.
Looking at the report again, I see that in fact it does do this:
| 3 Expressions
|
| In this section, we describe the syntax and informal semantics of Haskell
|expressions,
| including their translations into the Haskell kernel, where appropriate.
...
| Free variables and constructors used in these translations refer to entities
| defined by the Prelude. To avoid clutter, we use True instead of Prelude.True or
|map
| instead of Prelude.map. (Prelude.True is a qualified name as described in Section
|5.3.)
So I retract that criticism.
Sorry, I didn't notice that section of the report first time around.
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED] | -- the last words of T. S. Garp.
