[m-dev.] 0.13 release: op/3 syntax

[Peter Schachte]

On Fri, Mar 03, 2006 at 02:36:15PM +1100, Ralph Becket wrote:
> And I suggest this also be motivated by plenty of examples.

Good idea.  I gave an example of defining *** as a prefix operator
that could be placed in the left margin of code to trace it.  You
could do without it, but you'd have to wrap and unwrap goals with
parentheses whenever you changed your mind about what to trace (which
was often for me).

I'd like to be able to use 'in' as an infix operator for list and set
membership.

I've implemented a bounded universal quantifier for Prolog that used
the syntax

	forall Template in Sequence :: Goal

Pete or Peter or Doug^H^H^H^HPeter care to say how you wanted to use
operators?

> I really hate these syntax wars...

Amen.


-- 
Peter Schachte              Victory attained by violence is tantamount to a
schachte at cs.mu.OZ.AU        defeat, for it is momentary.
www.cs.mu.oz.au/~schachte/      -- Mahatma Gandhi 
Phone: +61 3 8344 1338      
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------