6 Dec
2000
6 Dec
'00
9:08 p.m.
Mon, 04 Dec 2000 17:17:42 +0100, George Russell
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