Ilya Zakharevich on Tue, 10 Oct 2006 00:27:17 +0200

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

Re: Defining variable priority [alternative solution]

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.