| From: [EMAIL PROTECTED]
|
| I'm puzzled by a detail in the Report, which seems to contradict itself.
|
| On page 13 it says:
|
| The special form -e denotes prefix negation, [...] and is simply
| syntax for negate (e), where negate is as defined in the standard
| prelude.
|
| The standard prelude defines negate as a function, which by default has
| precedence 10. But the context free syntax on page 134 says:
|
| <lexp6> ::= - <exp7>
|
| which gives prefix - precedence 6.
Hi, Norman.
It says, "is simply syntax for negate (e)", not "is syntactically
equivalent to negate (e)". In other words, prefix minus is a special
syntactic form, with syntactic precedence 6, as given by the context-
free syntax. Semantically, the form denotes an application of the
standard function negate. OK?
--Joe
