[m-dev.] Adding default clauses to the language.

[Peter Schachte]

On Thu, Aug 09, 2001 at 02:29:33PM +0200, Holger Krug wrote:
> Maybe: 
> 
> :- failing detmap3(in, in, in) = out throws Exc.

The syntax looks pretty nice, and you could put it in the implementation
section, which is good.  But it won't let you use arguments of the goal in
the exception term, which I think is important.


-- 
Peter Schachte                     Brook's Law: Adding manpower to a late
mailto:schachte at cs.mu.OZ.AU        software project makes it later 
http://www.cs.mu.oz.au/~schachte/  
Phone: +61 3 8344 9166             
PGP key available, see web page    
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------