(s,token)
| 423 | } |
| 424 | |
| 425 | function maybe_drop_pre(s,token) { |
| 426 | var last = s.length-1; |
| 427 | |
| 428 | if (0 < last && s[last].type === "record" && token.type === "dot") { |
| 429 | s.pop(); |
| 430 | }else if (0 < last && s[last].type === "group") { |
| 431 | s.pop(); |
| 432 | s.push(token); |
| 433 | }else{ |
| 434 | s.push(token); |
| 435 | } |
| 436 | return s; |
| 437 | } |
| 438 | |
| 439 | function maybe_drop_post(s) { |
| 440 | var last = s.length-1; |