aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAleksey Kladov <[email protected]>2018-01-11 17:55:08 +0000
committerAleksey Kladov <[email protected]>2018-01-11 17:55:08 +0000
commit41bf98d2493138d09e8c127f0914b2cf034cfa34 (patch)
treeb949c991876fe5a9f2c75919a450d66bdd610155 /src
parentadb8378827f70b0eeb19922f80bedc59c58207dc (diff)
G: multisegment paths
Diffstat (limited to 'src')
-rw-r--r--src/parser/event_parser/grammar/paths.rs9
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
13fn path_segment(p: &mut Parser) -> bool { 18fn 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