> 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?
All identifiers used in explicit translations refer to those
from the Prelude.
Kevin
| 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