See #759 - a related problem exists in the translation. This change moves the logic for extracting the decorated tree from its remote decoration site into DecoratedNode, so the translation of an ordinary reference to a child/local can just call childDecorated/localDecorated. This also means that getting the tree from its remote decoration site is now cached.
Changes
See #759 - a related problem exists in the translation. This change moves the logic for extracting the decorated tree from its remote decoration site into
DecoratedNode
, so the translation of an ordinary reference to a child/local can just callchildDecorated
/localDecorated
. This also means that getting the tree from its remote decoration site is now cached.Documentation
Added source comments.