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
Could those in charge of the formal semantics of Haskell (yes,
that's you folks in Glasgow!) tell me what the meaning of n+k patterns
are?
In the report it says that
case e0 of { x+k -> e; _ -> e' }
translates to
if e0 >= k then { let { x' = e0-k } in e[x'/x] else e'
Which >=
Lennart Augustsson has just posted a couple of queries concerning the
Haskell Report's transformations for defining the semantics of
pattern-matching constructs.
His questions are of the following form:
In the RHS of the translation, does symbol `X' refer to its meaning
in the canonical mod
| 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
