[m-dev.] semantics with any insts

[Ian MacLarty]

On 3/31/06, Peter Schachte <schachte at csse.unimelb.edu.au> wrote:
> On Thu, Mar 30, 2006 at 07:05:12AM +0800, Ian MacLarty wrote:
> > Maybe the determinism category names should be reviewed.  Instead of
> > having the existing determinism categories such as 'det', 'semidet',
> > 'multi', etc, we should have mode attributes 'can_fail',
> > 'leaves_choicepoint', 'prune_choicepoints' and possibly others.
>
> But in the absence of any insts, the old declarative names are
> appropriate;

No they're not.  You have the same problem with partial instantiation,
or 'unused' modes.

Ian.

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