summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/printer.rs
diff options
context:
space:
mode:
authorNadrieril2019-08-13 20:54:15 +0200
committerNadrieril2019-08-13 20:54:15 +0200
commit77af0bbc171618f48531cc6b1d77e18089928885 (patch)
tree8bac17d4b3f1f1adf5f823708d322876eef6cfee /dhall_syntax/src/printer.rs
parent5895c3aa6552f75d7e5202be561f9734fe8945e7 (diff)
Stop tracking the absence of Embed values at the type level
Diffstat (limited to '')
-rw-r--r--dhall_syntax/src/printer.rs6
1 files changed, 0 insertions, 6 deletions
diff --git a/dhall_syntax/src/printer.rs b/dhall_syntax/src/printer.rs
index 95eafe5..25d4ca8 100644
--- a/dhall_syntax/src/printer.rs
+++ b/dhall_syntax/src/printer.rs
@@ -491,9 +491,3 @@ impl<Label: Display> Display for V<Label> {
Ok(())
}
}
-
-impl Display for X {
- fn fmt(&self, _: &mut fmt::Formatter) -> Result<(), fmt::Error> {
- match *self {}
- }
-}