diff options
| author | Nadrieril | 2020-11-02 21:59:26 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-02 21:59:26 +0000 |
| commit | 2839bfe23b7a0916e9e625a4d62835c39d8693ba (patch) | |
| tree | 7ef219fca84adc5ed2e931f610a27c65dc33749d | |
| parent | 34d92560a0a2124e5eadea4832795874505b6cc5 (diff) | |
| parent | e4638e257823e01408ac46211764470ec565f964 (diff) | |
Merge pull request #195 from basile-henry/workaround-clippy-issue
CI: Use a workaround to not hit the clippy issue
Diffstat (limited to '')
| -rw-r--r-- | abnf_to_pest/src/lib.rs | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/abnf_to_pest/src/lib.rs b/abnf_to_pest/src/lib.rs index deddf54..627444a 100644 --- a/abnf_to_pest/src/lib.rs +++ b/abnf_to_pest/src/lib.rs @@ -42,9 +42,12 @@ impl Pretty for Node { nodes.iter().map(|x| x.pretty()), BoxDoc::space().append(BoxDoc::text("~ ")), ), - Repetition(rep) => { - rep.node().pretty().append(rep.repeat().pretty()) - } + Repetition(rep) => rep + .node() + .pretty() + // this repeat application is a temporary work-around for the clippy issue: + // https://github.com/rust-lang/rust-clippy/pull/5948 + .append(abnf::types::Repetition::repeat(rep).pretty()), Rulename(s) => BoxDoc::text(escape_rulename(s)), Group(n) => BoxDoc::text("(") .append(n.pretty().nest(4).group()) |