diff options
author | Nadrieril | 2019-08-13 21:10:59 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-13 21:10:59 +0200 |
commit | 51dbaa0b66089bca63aa9cf69a1e0ec59df053b9 (patch) | |
tree | 59e834f95417ad798bb49c0bdc0911c8c44a3a4a /dhall_syntax/src/printer.rs | |
parent | 77af0bbc171618f48531cc6b1d77e18089928885 (diff) |
Considerably simplify Embed handling
Diffstat (limited to 'dhall_syntax/src/printer.rs')
-rw-r--r-- | dhall_syntax/src/printer.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall_syntax/src/printer.rs b/dhall_syntax/src/printer.rs index 25d4ca8..48e56be 100644 --- a/dhall_syntax/src/printer.rs +++ b/dhall_syntax/src/printer.rs @@ -156,7 +156,7 @@ impl<A: Display + Clone> Expr<A> { }; // Annotate subexpressions with the appropriate phase, defaulting to Base - let phased_self = match self.map_ref_simple(|e| PhasedExpr(e, Base)) { + let phased_self = match self.map_ref(|e| PhasedExpr(e, Base)) { Pi(a, b, c) => { if &String::from(&a) == "_" { Pi(a, b.phase(Operator), c) |