(str)
| 27 | } |
| 28 | |
| 29 | export function parse(str) { |
| 30 | let stream = new Stream(str) |
| 31 | stream.space() |
| 32 | let value = parseValue(stream) |
| 33 | if (stream.pos != stream.str.length) stream.err("Extra characters at end of input") |
| 34 | return value |
| 35 | } |
| 36 | |
| 37 | function parseValue(stream) { |
| 38 | let next = stream.next |
no test coverage detected