summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril Feneanar2020-03-17 22:53:32 +0000
committerGitHub2020-03-17 22:53:32 +0000
commit681dad33cf27b2be4f4b3cefd83998af1d7eefb2 (patch)
tree6df8ea0ec49da694f101e6205068ab3c1a4b898e /dhall
parent6d82e0040316b4feefd3d95129829f91b595b5f2 (diff)
parent0f474789a6d93086a10633cf2755e5cba68bd187 (diff)
Merge pull request #140 from Nadrieril/Nadrieril-patch-1
Setup Github actions
Diffstat (limited to '')
-rw-r--r--dhall/build.rs7
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,