Mon, 04 Dec 2000 17:17:42 +0100, George Russell <[EMAIL PROTECTED]> pisze:
> Where you have variables in the patterns, you bind only the
> variables which appear in all the patterns, and you unify the
> types accordingly.
Or bind them all (otherwise there would be _ written) and get bottom
in case the matching subpattern did not bind the given variable.
--
__("< Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
\__/
^^ SYGNATURA ZASTĘPCZA
QRCZAK
_______________________________________________
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
