diff options
Diffstat (limited to 'dhall_core')
-rw-r--r-- | dhall_core/src/core.rs | 12 | ||||
-rw-r--r-- | dhall_core/src/lib.rs | 2 |
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; |