(stream, state)
| 102 | } |
| 103 | |
| 104 | function tokenString(stream, state) { |
| 105 | var ch, escaped = false; |
| 106 | while (ch = stream.next()) { |
| 107 | if (ch == '"' && !escaped) { |
| 108 | state.tokenize = tokenBase; |
| 109 | return r("atom", "string"); |
| 110 | } |
| 111 | escaped = !escaped && ch == "\\"; |
| 112 | } |
| 113 | // Hack to not confuse the parser when a string is split in |
| 114 | // pieces. |
| 115 | return r("op", "string"); |
| 116 | } |
| 117 | |
| 118 | function tokenComment(depth) { |
| 119 | return function(stream, state) { |