18 Nov
2002
18 Nov
'02
9:48 a.m.
PolyML.make raises an exception if it fails so it's easy enough to wrap a handler round it. David.
On Sunday, Nov 17, 2002, at 08:31 Europe/London, Ian Zimmerman wrote:
Would it be possible for PolyML.make to return a boolean indicating success/failure?
-- Ian Zimmerman, Oakland, California, U.S.A. I did not vote for Emperor Bush. GPG: 433BA087 9C0F 194F 203A 63F7 B1B8 6E5A 8CA3 27DB 433B A087 _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml