renderSimplyDecorated's keeping track of the annotation stack wasn't
actually necessary here. With the custom render loop, we speed up the
large-output benchmarks by roughly 10%.
Note that this also removes some error detection functionality for
SimpleDocStreams with unbalanced SAnnPush and SAnnPop constructors.
renderSimplyDecorated's keeping track of the annotation stack wasn't actually necessary here. With the custom render loop, we speed up the large-output benchmarks by roughly 10%.
Note that this also removes some error detection functionality for SimpleDocStreams with unbalanced SAnnPush and SAnnPop constructors.
Fixes #165.