[mercury-users] Pred defns

[Thomas Charles CONWAY]

Fergus Henderson, you write:
> 
> I used ### because it was suggestive of # + ##.
> I'd be happy with $ instead of #.
> But I think we still need some equivalent to ##.
> 
> Perhaps "$", "$$", and "$`" for "#", "###", and "##".
> 

In a conversation with lee in the corridor the other day, he
suggested that postfix operators would be better than prefix
ones because they emphasize the name of the accumulator more.

Thomas
-- 
Thomas Conway    || conway at cs.mu.oz.au
AD DEUM ET VINUM || Nail here [] for new monitor.