diff options
author | Nadrieril | 2019-05-09 16:53:48 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-09 16:53:48 +0200 |
commit | 32051979778436ea02cb406551f126fe22ea1636 (patch) | |
tree | bf2610cfc94b39e941a505946d50669b9674789c /dhall_syntax/src/printer.rs | |
parent | 7538e29275720407ac172bb05cdbc028d95ff921 (diff) |
ExprF need not be generic in Label
Diffstat (limited to '')
-rw-r--r-- | dhall_syntax/src/printer.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall_syntax/src/printer.rs b/dhall_syntax/src/printer.rs index 9f03701..0162693 100644 --- a/dhall_syntax/src/printer.rs +++ b/dhall_syntax/src/printer.rs @@ -3,7 +3,7 @@ use itertools::Itertools; use std::fmt::{self, Display}; /// Generic instance that delegates to subexpressions -impl<SE: Display + Clone, E: Display> Display for ExprF<SE, Label, E> { +impl<SE: Display + Clone, E: Display> Display for ExprF<SE, E> { fn fmt(&self, f: &mut fmt::Formatter) -> Result<(), fmt::Error> { use crate::ExprF::*; match self { @@ -202,7 +202,7 @@ impl<S: Clone, A: Display + Clone> Expr<S, A> { f.write_str("(")?; } - // Uses the ExprF<PhasedExpr<_>, _, _, _> instance + // Uses the ExprF<PhasedExpr<_>, _> instance phased_self.fmt(f)?; if needs_paren { |