Wed, 7 Mar 2001 01:00:05 -0800, Saswat Anand <[EMAIL PROTECTED]> pisze:
> But it has a small problem. I also want to be able to write
>
> 4 \+ fc :: CF
> fc \+ 4 :: CF
> ic \+ 4 :: IF
> 4 \+ fc \+ ic :: CIF
You can have more fundeps which allow to deduce a type of an argument
from the other argument and the result:
| a b -> c, a c -> b, b c -> a
and make CF and IF instances of Integral (define fromIntegral for them).
--
__("< Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
\__/
^^ SYGNATURA ZASTÊPCZA
QRCZAK
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
