[EMAIL PROTECTED] wrote:
> data D2 = D2 Int Int
>
> d2 (D2 i1 i2) = 42
>
> d2' ~(D2 i1 i2) = 42
[...]
> If d2 (D2 undefined undefined) == 42, we have to implement d2 in the
> same (less efficient) way that we implement d2' under the current
> semantics.
How do you implement d2', and why is it inefficient?
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED] | -- the last words of T. S. Garp.
