()
| 300 | else input.croak("Expecting punctuation: \"" + ch + "\""); |
| 301 | } |
| 302 | function parse_next() { |
| 303 | var n = input.next(); |
| 304 | // console.log('parse next ',n) |
| 305 | return n; |
| 306 | } |
| 307 | function parse_toplevel() { |
| 308 | var prog = []; |
| 309 | while (!input.eof()) { |