diff options
author | Aleksey Kladov <[email protected]> | 2018-01-11 17:55:08 +0000 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2018-01-11 17:55:08 +0000 |
commit | 41bf98d2493138d09e8c127f0914b2cf034cfa34 (patch) | |
tree | b949c991876fe5a9f2c75919a450d66bdd610155 /src | |
parent | adb8378827f70b0eeb19922f80bedc59c58207dc (diff) |
G: multisegment paths
Diffstat (limited to 'src')
-rw-r--r-- | src/parser/event_parser/grammar/paths.rs | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/parser/event_parser/grammar/paths.rs b/src/parser/event_parser/grammar/paths.rs index 96966b380..74b0e0ed4 100644 --- a/src/parser/event_parser/grammar/paths.rs +++ b/src/parser/event_parser/grammar/paths.rs | |||
@@ -7,9 +7,14 @@ pub(crate) fn use_path(p: &mut Parser) { | |||
7 | node(p, PATH, |p| { | 7 | node(p, PATH, |p| { |
8 | p.eat(COLONCOLON); | 8 | p.eat(COLONCOLON); |
9 | path_segment(p); | 9 | path_segment(p); |
10 | }) | 10 | }); |
11 | many(p, |p| { | ||
12 | node_if(p, COLONCOLON, PATH, |p| { | ||
13 | path_segment(p); | ||
14 | }) | ||
15 | }); | ||
11 | } | 16 | } |
12 | 17 | ||
13 | fn path_segment(p: &mut Parser) -> bool { | 18 | fn path_segment(p: &mut Parser) -> bool { |
14 | node_if(p, IDENT, PATH_SEGMENT, |p| ()) | 19 | node_if(p, IDENT, PATH_SEGMENT, |_| ()) |
15 | } \ No newline at end of file | 20 | } \ No newline at end of file |