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

[Fergus Henderson]

On 31-Aug-1999, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
>  
> > On 30-Aug-1999, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > > 
> > > Allow separate mode declarations for predicates with no arguments
> > > (previously they were considered to be duplicate mode declarations).
> > > This avoids the need to special case such predicates when writing
> > > out declarations for inter-module optimization. 
> > 
> > I think that change is a good idea.
> > Your diff looks fine.
> > 
> > It's probably worth documenting this in the language reference manual.
> 
> I'm not sure about that. The new behaviour is not inconsistent with the
> current description in the reference manual. If anything the old behavior
> was inconsistent with the reference manual because separate mode declarations
> were not allowed for predicates with no arguments, where the reference manual
> strongly implies that separate mode declarations can always be supplied.

Well, the reference manual is rather ambiguous on this issue, IMHO.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------