(stream)
| 19 | var type; |
| 20 | |
| 21 | function readSym(stream) { |
| 22 | var ch; |
| 23 | while (ch = stream.next()) { |
| 24 | if (ch == "\\") stream.next(); |
| 25 | else if (!symbol.test(ch)) { stream.backUp(1); break; } |
| 26 | } |
| 27 | return stream.current(); |
| 28 | } |
| 29 | |
| 30 | function base(stream, state) { |
| 31 | if (stream.eatSpace()) {type = "ws"; return null;} |