|
|
4f564d1474
|
All parsing is now streaming! But lots left to do.
In particular, parsing error messages are now either terrible or
non-existent. But it compiles and works for correct inputs!
|
2020-05-01 16:08:37 +09:00 |
|
|
|
9d5bc63fa5
|
Created a separate reader type for streaming data tree reading.
|
2020-05-01 16:08:37 +09:00 |
|
|
|
3eca7eae25
|
Take data reading out of the data tree parser.
It's now the responsibility of the caller to feed the parser
data as needed.
|
2020-05-01 16:08:37 +09:00 |
|
|
|
7f1b1d2382
|
Fixed silly bug in data tree parser.
|
2020-05-01 16:08:37 +09:00 |
|
|
|
1f4947e895
|
Data tree parser: only read more data when needed.
Before this, it would eagerly load more data on every call, which
defeats the whole point.
|
2020-05-01 16:08:37 +09:00 |
|
|
|
ccd7e141fb
|
First implementation of a streaming parser for the data tree format.
|
2020-05-01 16:08:37 +09:00 |
|
