5c945595ee
stream-contents is apparently way slow for decoders. Write decode out more directly as a read1/push loop so it's faster. encode isn't quite as bad, but we can still get a 25% speed improvement by writing to an appropriately sized byte-vector. |
||
|---|---|---|
| .. | ||
| authors.txt | ||
| string-docs.factor | ||
| string-tests.factor | ||
| string.factor | ||
| summary.txt | ||
| tags.txt | ||