From 7e523ae1903ae2d8bca8b3a8352167d7bac5b2b5 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 14 Sep 2020 23:09:22 +0100
Subject: spec: Enable `with` optimizations

---
 dhall/src/syntax/text/printer.rs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'dhall/src/syntax/text/printer.rs')

diff --git a/dhall/src/syntax/text/printer.rs b/dhall/src/syntax/text/printer.rs
index 8815d69..0c2eb2e 100644
--- a/dhall/src/syntax/text/printer.rs
+++ b/dhall/src/syntax/text/printer.rs
@@ -275,6 +275,10 @@ impl<SE: Display + Clone> Display for OpKind<SE> {
             Completion(a, b) => {
                 write!(f, "{}::{}", a, b)?;
             }
+            With(a, ls, b) => {
+                let ls = ls.iter().join(".");
+                write!(f, "{} with {} = {}", a, ls, b)?;
+            }
         }
         Ok(())
     }
-- 
cgit v1.2.3