| More questions along the same lines as for n+k:
|
| Does == in the pattern match translation refer to == in PreludeCore?
|
| Does negate in the translation of -e refer to negate in PreludeCore?
|
| -- Lennart
I recall that we did decide that such references to standard functions
in the report are always to be understood to be the Standard Prelude
functions, even when the names may have been locally rebound. I don't
find a clear statement to this effect in the report, though. (Maybe
I didn't look hard enough.)
Note, however, that even under this interpretation, these syntactic
translations may still involve code supplied by the user, but such
code can only be instance declarations for user-defined types in
the standard classes, not some arbitrary function binding that may
not even be type-correct in the translation.
--Joe
