summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNanoTech2016-12-09 18:57:44 -0600
committerNanoTech2017-03-10 23:48:29 -0600
commite335bf8da2f6b0d7465a4376191e0c9036d66189 (patch)
treea3b30d104abd329c744f12c9400a6e69df20313d
parent2b69638e128d6c8f2f308a3a46d9ed1a28412820 (diff)
Fix formatting for Pi("_", _, _)
-rw-r--r--src/core.rs5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/core.rs b/src/core.rs
index 5a521b5..a9de970 100644
--- a/src/core.rs
+++ b/src/core.rs
@@ -294,6 +294,11 @@ impl<'i, S, A: Display> Expr<'i, S, A> {
write!(f, " else ")?;
c.fmt_c(f)
}
+ &Pi("_", ref b, ref c) => {
+ b.fmt_c(f)?;
+ write!(f, " → ")?;
+ c.fmt_b(f)
+ }
&Pi(a, ref b, ref c) => {
write!(f, "∀({} : ", a)?;
b.fmt(f)?;