> 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
| 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
Original-Via: uk.ac.nsf; Wed, 23 Oct 91 23:39:10 BST
What happens is you import a module, A, and it contains a value, say
x::T
and also a type synonym for T, say
type T = Int
but then you hide T on import. I.e.
import A hiding(T)
The type synonym T is not imported any othe
