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

Holger Krug hkrug at rationalizer.com
Thu Aug 9 23:56:37 AEST 2001


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

:- failing detmap3(A::mode_a, B::mode_bn, C::mode_c) = out throws E :- <body>.

<body> may reference A, B, C according to their input inst and has
to bind E. A `failing' declaration might be added for each declared mode
separately.

-- 
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
--------------------------------------------------------------------------



More information about the developers mailing list