diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-29 18:18:53 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-07-29 18:18:53 +0100 |
commit | 2dfda0b984c45946b9a4148bd848350deac544f2 (patch) | |
tree | 1942eeab995b0bd191c6a998b47cb20a426e5dd3 /crates/ra_ide/src/syntax_highlighting/injection.rs | |
parent | 525ae706b3e4c0f5f8b80d197e5fede0a9974442 (diff) | |
parent | 3d28292157e1b6c9675ef64eddf53786c3e7dc5f (diff) |
Merge #5572
5572: Switch to ungrammar from ast_src r=matklad a=matklad
The primary advantage of ungrammar is that it (eventually) allows one
to describe concrete syntax tree structure -- with alternatives and
specific sequence of tokens & nodes.
That should be re-usable for:
* generate `make` calls
* Rust reference
* Hypothetical parser's evented API
We loose doc comments for the time being unfortunately. I don't think
we should add support for doc comments to ungrammar -- they'll make
grammar file hard to read. We might supply docs as out-of band info,
or maybe just via a reference, but we'll think about that once things
are no longer in flux
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_ide/src/syntax_highlighting/injection.rs')
0 files changed, 0 insertions, 0 deletions