Marcin 'Qrczak' Kowalczyk qrczak@knm.org.pl
6 Dec 2000 21:08:06 GMT

Mon, 04 Dec 2000 17:17:42 +0100, George Russell <ger@Informatik.Uni-Bremen.DE> 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 * qrczak@knm.org.pl http://qrczak.ids.net.pl/
  ^^                      SYGNATURA ZASTĘPCZA