Or-patterns

[Marcin 'Qrczak' Kowalczyk]

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
QRCZAK