jbee/panda — Issue #10: Override variables so that they aren't rebound any more
Author: jbee
Created: 2011-10-13 07:10:35+00:00
State: open

When a `Var` is overridden, the new definition is prepanded. In addition there has to be a search starting a zero/one for the first definition of the same variable. This has to be marked as `overridden` so that it will not be bound any more. The context should keep track of the last `BehaviouralFunctor` that is not overridden to reduce lookup costs.