Sorry, I think a and b are from the value domain.
On Sat, 29 Dec 2007 13:14:09 +0200, Cristian Baboi
<[EMAIL PROTECTED]> wrote:
In The Implementation of Functional Programming Languages by S.P. Jones,
section 2.5.3, page 32 it is written:
Eval [[*]] a b = a x b
Eval [[*]] _|_ b = _|_
Eval [[*]] a _|_ = _|_
but in section 2.5.2 it is said that _|_ is an element of the value
domain.
What business does it have on the left side of the '=' ?
Can you help me send him to his room ?
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
