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

[Holger Krug]

On Thu, Aug 09, 2001 at 11:34:48PM +1000, Peter Schachte wrote:
> 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.

:- failing detmap3(A::in, B::in, C::in) = out throws Exc(A, B, C).

-- 
Holger Krug
hkrug at rationalizer.com
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------