[mercury-users] Again exceptions (patternmatch & devide-by-zero)

[Peter Ross]

sander wrote:
> I looked at the implementation of Mercury using the CVS checkout. I was
> looking for the use of exceptions in the integer.m files and in
> pattern-matching in general. However, I could not find it. Did I
> overlook?
>
For historical reasons, we use error/1 to report most errors.  error/1 is
located in require.m and you will see that it is implemented as a throw.

I am not sure what you mean by pattern matching, maybe more of an
explaination is required.


---
Outgoing mail is certified Virus Free.
Checked by AVG anti-virus system (http://www.grisoft.com).
Version: 6.0.423 / Virus Database: 238 - Release Date: 26/11/2002

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------