Re: Defining variable priority [alternative solution]

[Ilya Zakharevich <nospam-abuse@ilyaz.org>]

On Sun, Oct 08, 2006 at 04:26:29PM +0200, Bill Allombert wrote:
> Also since variable numbers are non-negative and x priority is 0 you
> cannot create variable with higher priority than x. That could be fixed
> by changing variable numbers to be between [-MAXVARN/2,MAXVARN/2].

Could not you change the priority of x to be 256 (and of the following
var 257, the next one 258 etc)?  One should also keep a min and max of
priorities of created vars.

Thanks,
Ilya