Wed, 14 Feb 2001 00:20:41 +0100 (MET), Bjorn Lisper <[EMAIL PROTECTED]> pisze:
> >When Int is unified with [Int], it's simply an error.
>
> (They're not unified!)
I meant: when the code leads to unification of Int with [Int],
e.g. by applying a function of type Int->whatever to [Int].
--
__("< 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
- Re: Revamping the numeric classes Bjorn Lisper
- Re: Revamping the numeric classes Bjorn Lisper
- Re: Revamping the numeric classes Marcin 'Qrczak' Kowalczyk
- Re: Revamping the numeric classes Bjorn Lisper
- Re: Revamping the numeric classes Marcin 'Qrczak' Kowalczyk
- Re: Revamping the numeric classes Bjorn Lisper
- Re: Revamping the numeric classes Marcin 'Qrczak' Kowalczyk
- Re: Revamping the numeric classes Bjorn Lisper
- Re: Revamping the numeric classes Marcin 'Qrczak' Kowalczyk
- Re: Revamping the numeric classes Bjorn Lisper
- Marcin 'Qrczak' Kowalczyk
