diff options
| author | Nadrieril Feneanar | 2020-03-17 22:53:32 +0000 |
|---|---|---|
| committer | GitHub | 2020-03-17 22:53:32 +0000 |
| commit | 681dad33cf27b2be4f4b3cefd83998af1d7eefb2 (patch) | |
| tree | 6df8ea0ec49da694f101e6205068ab3c1a4b898e /dhall | |
| parent | 6d82e0040316b4feefd3d95129829f91b595b5f2 (diff) | |
| parent | 0f474789a6d93086a10633cf2755e5cba68bd187 (diff) | |
Merge pull request #140 from Nadrieril/Nadrieril-patch-1
Setup Github actions
Diffstat (limited to 'dhall')
| -rw-r--r-- | dhall/build.rs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/dhall/build.rs b/dhall/build.rs index ce677e3..366f8a4 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -411,7 +411,9 @@ fn convert_abnf_to_pest() -> std::io::Result<()> { // Setup grammar for precedence climbing rules.remove("operator_expression"); - writeln!(&mut file, r##" + writeln!( + &mut file, + r##" import_alt = {{ "?" ~ whsp1 }} bool_or = {{ "||" }} natural_plus = {{ "+" ~ whsp1 }} @@ -438,7 +440,8 @@ fn convert_abnf_to_pest() -> std::io::Result<()> { import_alt }} operator_expression = {{ with_expression ~ (whsp ~ operator ~ whsp ~ with_expression)* }} - "##)?; + "## + )?; writeln!( &mut file, |