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

[Warwick Harvey]

Fergus wrote:
> With this alternative, the following declarations would have the semantics
> specified in the corresponding comments:
[...]
> 	% baz has one mode, with determinism semidet.
> 	:- pred baz.
> 	:- mode baz is semidet.
[...]
> Comments?

The HAL team would like to say that we look forward to being able to 
generate the above code and have it accepted by Mercury.  Special-casing the 
generation of declarations for zero-arity predicates has been annoying.  :-) 
 Any proposal which allows the above is likely to meet with our approval.

(And for the record, your proposal sounds fine with my HAL cap off, too... 
;-)

Warwick

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