[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Tilde Bug

From: Valeriy E. Ushakov
Subject: Re: Tilde Bug
Date: Thu, 28 Jan 1999 18:17:20 +0300

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 # ...


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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]