The initial idea was to have a tag not depend on other functions being redefined but we might have more benefits than issues than keep a reference to the tagged function and environment.
Might be not obvious to implement, and would have to be tested on nested tags, but that will make a lot of displays (errors in particular) MUCH nicer and clearer.
The initial idea was to have a tag not depend on other functions being redefined but we might have more benefits than issues than keep a reference to the tagged function and environment.
Might be not obvious to implement, and would have to be tested on nested tags, but that will make a lot of displays (errors in particular) MUCH nicer and clearer.