Re: More questions

1993-05-17 Thread jhf
| 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

n+k patterns

1993-05-17 Thread Lennart Augustsson
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 =

Pattern-translation discussion

1993-05-17 Thread rabin
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

More questions

1993-05-17 Thread Lennart Augustsson
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