Closed davidchisnall closed 2 years ago
This PR also removes some premature optimisation to make the memory management more safe. node_ptr
is now a shared_ptr
rather than a unique_ptr
and all of the non-owning pointers remain shared_ptr
s. Some of them could be turned into weak pointers in a future PR.
These take a label as the argument and will delete the label, wherever it is in the final tree.
Fixes #64