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

[Ralph Becket]

Zoltan Somogyi, Thursday,  2 March 2006:
> 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 :-( so I think we need another keyword.
> Any ideas on a replacement? I am drawing a blank.

My first thoughts were "trust_me" and "this_is_okay", but what about
"all_equivalent"?

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