summaryrefslogtreecommitdiff
path: root/dhall_core/src
diff options
context:
space:
mode:
authorNadrieril2019-03-06 20:25:55 +0100
committerNadrieril2019-03-06 20:25:55 +0100
commitf2d6415e72beaccfa2c4cb1f7a17f9eecc19d8a5 (patch)
tree651f8e2dc8c97ca580f39971744b6efe65bff39d /dhall_core/src
parent479b2cfcd650c4f1ad6c1044528d31874aca890b (diff)
rustfmt
Diffstat (limited to 'dhall_core/src')
-rw-r--r--dhall_core/src/core.rs12
-rw-r--r--dhall_core/src/lib.rs2
2 files changed, 11 insertions, 3 deletions
diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs
index 675345e..fcb7713 100644
--- a/dhall_core/src/core.rs
+++ b/dhall_core/src/core.rs
@@ -231,7 +231,11 @@ impl<'i, S, A> From<Builtin> for Expr<'i, S, A> {
}
impl<'i, S, A> Expr<'i, S, A> {
- pub fn map_shallow<T, F1, F2>(&self, map_expr: F1, map_note: F2) -> Expr<'i, T, A>
+ pub fn map_shallow<T, F1, F2>(
+ &self,
+ map_expr: F1,
+ map_note: F2,
+ ) -> Expr<'i, T, A>
where
A: Clone,
T: Clone,
@@ -639,7 +643,11 @@ fn add_ui(u: usize, i: isize) -> usize {
}
}
-pub fn map_shallow<'i, S, T, A, F1, F2>(e: &Expr<'i, S, A>, map: F1, map_note: F2) -> Expr<'i, T, A>
+pub fn map_shallow<'i, S, T, A, F1, F2>(
+ e: &Expr<'i, S, A>,
+ map: F1,
+ map_note: F2,
+) -> Expr<'i, T, A>
where
A: Clone,
S: Clone,
diff --git a/dhall_core/src/lib.rs b/dhall_core/src/lib.rs
index dbdd08c..76f436d 100644
--- a/dhall_core/src/lib.rs
+++ b/dhall_core/src/lib.rs
@@ -5,7 +5,7 @@ pub mod core;
pub use crate::core::*;
use lalrpop_util::lalrpop_mod;
lalrpop_mod!(pub grammar);
+pub mod context;
mod grammar_util;
pub mod lexer;
pub mod parser;
-pub mod context;