diff options
Diffstat (limited to 'dhall_core/src/printer.rs')
-rw-r--r-- | dhall_core/src/printer.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dhall_core/src/printer.rs b/dhall_core/src/printer.rs index 5ecf5ce..d93336e 100644 --- a/dhall_core/src/printer.rs +++ b/dhall_core/src/printer.rs @@ -165,6 +165,11 @@ impl<S, A: Display> Expr<S, A> { a.fmt_e(f)?; write!(f, ".{}", b) } + &Projection(ref e, ref ls) => { + e.fmt_e(f)?; + write!(f, ".")?; + fmt_list("{ ", ", ", " }", ls, f, |l, f| write!(f, "{}", l)) + } &Note(_, ref b) => b.fmt_e(f), a => a.fmt_f(f), } |