Wed, 14 Feb 2001 00:20:41 +0100 (MET), Bjorn Lisper <lisper@it.kth.se> 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 * qrczak@knm.org.pl http://qrczak.ids.net.pl/
\__/
^^ SYGNATURA ZASTĘPCZA
QRCZAK