[m-dev.] for review: allow separate mode decls for zero arity preds

Simon Taylor stayl at cs.mu.OZ.AU
Wed Sep 8 09:14:32 AEST 1999


 
> Hmm, how about the following alternative?
> We could say that a `:- pred' declaration for a zero-arity predicate implies
> a corresponding mode declaration only if there is a determinism annotation
> on the pred declaration. 
 
> Comments?

That looks like a good idea.

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