diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-01-28 10:17:24 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-01-28 10:22:57 +0800 |
| commit | f28155105134b90fd86049c65478d307e0d8dbbc (patch) | |
| tree | 72b3b4872d5dba89413eca70bcaae9e421def7ee /grammar/src/lib.rs | |
| parent | e8ea01319b3a9032a3f4f69f65e9ca96562b87b9 (diff) | |
a prototype of an item derivation forest
It seems to be complete now, but still awaits more tests to see where
the errors are, which should be plenty, haha.
Diffstat (limited to 'grammar/src/lib.rs')
| -rw-r--r-- | grammar/src/lib.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/grammar/src/lib.rs b/grammar/src/lib.rs index b29fc69..2c17a5f 100644 --- a/grammar/src/lib.rs +++ b/grammar/src/lib.rs @@ -486,6 +486,9 @@ impl Grammar { .contains(&None)) } + // FIXME: We shall use a label to query this information as well, + // probably. + /// Query the expansion information from the position `pos1` to /// the position `pos2` . #[inline] |