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

Reply via email to