Re: Tilde Bug

[Valeriy E. Ushakov]

On Thu, Jan 28, 1999 at 08:48:10AM +0100, Dominikus Herzberg wrote:

> 3a: See address@hidden (address@hidden).
> 3b: See address@hidden(address@hidden).

> But if you replace the space character by a tilde "space" symbol
> (see 3b) you'll get the following message:
> 
>     3,12: unresolved cross reference @NumberMarker&&Art(page2

Precedence of "~" should be lowered.  10 is a good choice, since
precedence of & (either explicit or non-zero implicit) is 7.  (User
defined symbols can't have precedence less then 10).

Fix dl to read:

    def "~"  precedence 10 # ...
    def "~~" precedence 10 # ...


HTH

SY, Uwe
-- 
address@hidden                         |       Zu Grunde kommen
http://www.ptc.spbu.ru/~uwe/            |       Ist zu Grunde gehen