diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-02 07:32:42 +0100 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-02 07:32:42 +0100 |
commit | b0e7022afe17f35fd0f6960a279e375b19061919 (patch) | |
tree | 487b133512986fb6eb6eac4068e0045e75cfd2ac /editors | |
parent | 12629d5e4f2d949eedb707dedad4d75eff09e683 (diff) | |
parent | 779676f782565cfc936db79db48e2e7b62adf3a3 (diff) |
Merge #1224
1224: Remove unused multchar puncts code and add space between puncts r=matklad a=edwin0cheng
After #1213 , parser only need single char punct, this PR do the following things:
* Remove code which handles multi char puncts
* Remove code which handle traversal backward in `SubtreeSource` , because we cached the result in #1195
* Add space between two consecutive puncts while `tt` to `SyntaxNode` conversion .
Note that the spaces should only be added if both puncts are not delimiters.
Co-authored-by: Edwin Cheng <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions