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

[Simon Taylor]

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