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