diff options
author | Daniil Baturin <daniil@baturin.org> | 2017-01-10 03:34:03 +0700 |
---|---|---|
committer | Daniil Baturin <daniil@baturin.org> | 2017-01-10 03:34:03 +0700 |
commit | 0a3d779e27e854bcee00c33139e27c4beac41e60 (patch) | |
tree | 8a2ac53c6e88039253b14dce138db8d584345c81 /src | |
parent | 983509428fb7e882d1766de1115c2ddc7d8b8335 (diff) | |
download | vyconf-0a3d779e27e854bcee00c33139e27c4beac41e60.tar.gz vyconf-0a3d779e27e854bcee00c33139e27c4beac41e60.zip |
Allow valueless nodes in the curly parser.
Diffstat (limited to 'src')
-rw-r--r-- | src/curly_parser.mly | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/curly_parser.mly b/src/curly_parser.mly index 896f5c0..df377b9 100644 --- a/src/curly_parser.mly +++ b/src/curly_parser.mly @@ -35,6 +35,8 @@ values: leaf_node: | comment = opt_comment; name = IDENTIFIER; values = values; SEMI { Vytree.make_full {default_data with values=(List.rev values); comment=comment} name []} + | comment = opt_comment; name = IDENTIFIER; SEMI (* valueless node *) + { Vytree.make_full {default_data with comment=comment} name [] } ; node: |