From 7aafedae36fe81a64720592f75723b6646913fe2 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 8 May 2019 17:29:23 +0200
Subject: Rename the record combining operators internally

---
 dhall_syntax/src/printer.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'dhall_syntax/src/printer.rs')

diff --git a/dhall_syntax/src/printer.rs b/dhall_syntax/src/printer.rs
index ebc9770..9f03701 100644
--- a/dhall_syntax/src/printer.rs
+++ b/dhall_syntax/src/printer.rs
@@ -297,13 +297,13 @@ impl Display for BinOp {
             TextAppend => "++",
             NaturalPlus => "+",
             BoolAnd => "&&",
-            Combine => "/\\",
+            RecursiveRecordMerge => "∧",
             NaturalTimes => "*",
             BoolEQ => "==",
             BoolNE => "!=",
-            CombineTypes => "//\\\\",
+            RecursiveRecordTypeMerge => "⩓",
             ImportAlt => "?",
-            Prefer => "//",
+            RightBiasedRecordMerge => "⫽",
             ListAppend => "#",
         })
     }
-- 
cgit v1.2.3