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

Re: Initialization of local variables in PlusCal

There is not enough demand for this feature to justify the effort
of adding it.  You can do what you want by declaring x to be a
global variable, at the cost of replacing each instance of x with