ui: optimize buffered write with no label

Authored by yuja.

Description

ui: optimize buffered write with no label

This was spotted while making fastannotate faster again after ditching its
own formatter. Since I'm going to inline _write() into ui.write(), I decided
to include this patch in this series.

Here, the cost of '(self.label(a, label) for a in args)' was significant
in hot loops.

Details

Committed
yujaNov 28 2018, 8:36 AM
Parents
rHG76873548b051: partialdiscovery: avoid `undecided` related computation sooner than necessary
Branches
Unknown
Tags
Unknown