Revamping the numeric classes

Marcin 'Qrczak' Kowalczyk qrczak@knm.org.pl
14 Feb 2001 04:02:34 GMT


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