11 May
2001
11 May
'01
6:54 a.m.
Fri, 11 May 2001 14:40:27 +1000, Andrew J Bromage
What about mzero, though? What "natural definition" did you have in mind?
You are right, mzero is not as automatic as mplus. It surely means 'throwError something', but the value of something must be determined separately. 'fail' belongs here too: I think it's always 'throwError something' in practice. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTÊPCZA QRCZAK