diff options
author | Aleksey Kladov <[email protected]> | 2020-07-29 14:45:23 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2020-07-29 18:18:25 +0100 |
commit | 3d28292157e1b6c9675ef64eddf53786c3e7dc5f (patch) | |
tree | 1942eeab995b0bd191c6a998b47cb20a426e5dd3 /Cargo.lock | |
parent | 525ae706b3e4c0f5f8b80d197e5fede0a9974442 (diff) |
Switch to ungrammar from ast_src
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
Diffstat (limited to 'Cargo.lock')
-rw-r--r-- | Cargo.lock | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Cargo.lock b/Cargo.lock index ff225399e..b7a9516e3 100644 --- a/Cargo.lock +++ b/Cargo.lock | |||
@@ -1750,6 +1750,12 @@ dependencies = [ | |||
1750 | ] | 1750 | ] |
1751 | 1751 | ||
1752 | [[package]] | 1752 | [[package]] |
1753 | name = "ungrammar" | ||
1754 | version = "0.1.0" | ||
1755 | source = "registry+https://github.com/rust-lang/crates.io-index" | ||
1756 | checksum = "0ee12e4891ab3acc2d95d5023022ace22020247bb8a8d1ece875a443f7dab37d" | ||
1757 | |||
1758 | [[package]] | ||
1753 | name = "unicode-bidi" | 1759 | name = "unicode-bidi" |
1754 | version = "0.3.4" | 1760 | version = "0.3.4" |
1755 | source = "registry+https://github.com/rust-lang/crates.io-index" | 1761 | source = "registry+https://github.com/rust-lang/crates.io-index" |
@@ -1893,5 +1899,6 @@ dependencies = [ | |||
1893 | "pico-args", | 1899 | "pico-args", |
1894 | "proc-macro2", | 1900 | "proc-macro2", |
1895 | "quote", | 1901 | "quote", |
1902 | "ungrammar", | ||
1896 | "walkdir", | 1903 | "walkdir", |
1897 | ] | 1904 | ] |