diff options
| author | Teddy Wing | 2018-11-01 04:37:33 +0100 |
|---|---|---|
| committer | Teddy Wing | 2018-11-01 04:41:59 +0100 |
| commit | fca324396c762e034ee30aec3f7ffa0ce7de5516 (patch) | |
| tree | 3323cea38a9c7de601e3b0fd828d2b20d42ca9b4 /src/config.rs | |
| parent | 6658bb238d87f2182f3c2a6119b86c5fdea9b36b (diff) | |
| download | dome-key-map-fca324396c762e034ee30aec3f7ffa0ce7de5516.tar.bz2 | |
parser: Parsing an empty string gives a default `MapGroup`
Since the most recent `many1` change
(09c0a432fb339a2218096bb9a4398fb86301488f), the parser fails on
end-of-input, or an empty string.
In that case, it should instead return the default `MapGroup`. Add a
special case for this.
Diffstat (limited to 'src/config.rs')
0 files changed, 0 insertions, 0 deletions
