When I added a variable cap (#242), I made sure that the var.make action would respect the cap. I forgot to make sure that any other action would. Oops!
Actions that make variables (call declare_var or register_and_declare_var):
Obviously, future variable-making actions will also need to check that the cap won't be breached.
We can safeguard against badly written storelike actions by checking at generation time that we're not breaching the cap, but
1) this would need to take into account the possibility of the cap already being breached; and 2) this won't help us at run-time, when we don't have the cap available.
When I added a variable cap (#242), I made sure that the
var.make
action would respect the cap. I forgot to make sure that any other action would. Oops!Actions that make variables (call
declare_var
orregister_and_declare_var
):Obviously, future variable-making actions will also need to check that the cap won't be breached.
We can safeguard against badly written storelike actions by checking at generation time that we're not breaching the cap, but 1) this would need to take into account the possibility of the cap already being breached; and 2) this won't help us at run-time, when we don't have the cap available.