[m-dev.] alternative syntax for pred declarations.

[Thomas Charles CONWAY]

Fergus Henderson, you write:
> 
> That would have some problems, starting with backwards compatibility.

If it isn't a BIG  backwards compatibility problem it might be worth
it, but...

> The `::' syntax was chosen because it works better than `==',
> because `==' doesn't really have the right precedence.
> 

Gee I hate operator grammars....

Speed the day when we don't need to backwards compatible to Prolog's
operator precedences, and we can fix all these problems!

Thomas
-- 
ZZ:wq!
^X^C
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.