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

Thomas Charles CONWAY conway at cs.mu.oz.au
Mon Dec 1 16:16:25 AEDT 1997


Fergus Henderson, you write:
> 
> This is getting better, but there are still some problems.
> 
> The syntax
> 
> 	:- mode this_parser :: parser.
> 
> already has a meaning.
> It is the same as the (undocumented) alternative
> 
> 	:- mode this_parser == parser.

Gosh! How about changing its meaning then?

Is it necessary to have two different ways of writting the same
thing (especially since it is something that is written infrequently,
and neither syntax is can really be considered easier to use than
the other)?

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



More information about the developers mailing list