diff options
author | Nadrieril | 2019-03-31 19:37:29 +0200 |
---|---|---|
committer | Nadrieril | 2019-03-31 19:37:29 +0200 |
commit | 737472abf9c0ca2030ab8c2bb0b1d4af41167183 (patch) | |
tree | a9477b48c7e029e5726c7faa54934bb429fd0ee6 /dhall_core/src/printer.rs | |
parent | 7374d0524ccd53b256107667b213597c05720d2d (diff) |
Remove evil Deref impl
Diffstat (limited to '')
-rw-r--r-- | dhall_core/src/printer.rs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/dhall_core/src/printer.rs b/dhall_core/src/printer.rs index b7d7506..fb3b8e8 100644 --- a/dhall_core/src/printer.rs +++ b/dhall_core/src/printer.rs @@ -217,6 +217,16 @@ impl<S, A: Display> Expr<S, A> { } } +impl<S, A: Display> SubExpr<S, A> { + fn fmt_phase( + &self, + f: &mut fmt::Formatter, + phase: PrintPhase, + ) -> Result<(), fmt::Error> { + self.0.as_ref().fmt_phase(f, phase) + } +} + fn fmt_list<T, I, F>( open: &str, sep: &str, |