[m-dev.] call for opinions on promise_same_solutions syntax

[Julien Fischer]

On Thu, 2 Mar 2006, Peter Schachte wrote:

> On Thu, Mar 02, 2006 at 01:05:05PM +1100, Zoltan Somogyi wrote:
> > On 02-Mar-2006, Peter Schachte <schachte at csse.unimelb.edu.au> wrote:
> > >         promise_equivalent_solution_sets [Vars] (
> > >                 whichever [Vars1] Goal1,
> > >                 whichever [Vars2] Goal2,
> > > 		...
> > > 		Goal
> > >         )
> >
> > I think that proposal is a distinct improvement over all the earlier ones.
> > I am ready to implement it, with one exception: the keywords.
> >
> > I think "whichever" sounds too much like "whatever", which is what you say
> > when you want to blow someone off :-(
>
> Not surprising:  you're blowing off alternatives.  But I agree it
> sounds a bit informal.
>
> How about 'forany' or just 'any'?
>

I don't think 'any' is a particularly good choice as it's already an inst
name.

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