On Tue, 13 Mar 2018 11:10:58 +0000 Eric Engestrom <[email protected]> wrote:
> If the function enters and exits without the lock held, acquiring and > releasing the lock inside the function in a balanced way, no > -annotation is needed. The tree annotations above are for cases where > +annotation is needed. The three annotations above are for cases where > sparse would otherwise report a context imbalance. Applied to the docs tree, thanks. jon
