diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-09-16 15:46:36 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-09-16 16:43:52 -0700 |
| commit | f4fb198af313a3a30400ba1a51e0f0425b1da0ca (patch) | |
| tree | 7791e011af839825fec98a0aa5776c07597da268 /400.mu | |
| parent | 5029dac235741025ccec7d2c3d5609724cb14525 (diff) | |
| download | mu-f4fb198af313a3a30400ba1a51e0f0425b1da0ca.tar.gz | |
6790 experiment: explicit flush
tile is already visibly slow (49x212 screen) :/ So programmer needs more control over performance. But this may not be the right approach. That extra flush-stdout in tui.mu suggests it's either going to be finicky, or we have to flush on every attribute change. And going through a buffered-file may be slower. May.
Diffstat (limited to '400.mu')
| -rw-r--r-- | 400.mu | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/400.mu b/400.mu index 7b32f3cb..4b896ba5 100644 --- a/400.mu +++ b/400.mu @@ -172,3 +172,5 @@ sig stream-empty? s: (addr stream _) -> result/eax: boolean sig stream-full? s: (addr stream _) -> result/eax: boolean sig copy-bytes src: (addr byte), dest: (addr byte), n: int + +sig flush-stdout |