From 75e0ebc14bc2dce3052f7b20e985c7020d6aade2 Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Tue, 30 May 2023 21:36:46 +0200
Subject: [PATCH] Disable printing the full type(s) on error for now

---
 src/Diagnostics.cc | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/Diagnostics.cc b/src/Diagnostics.cc
index 2397d5751..2c45fcf42 100644
--- a/src/Diagnostics.cc
+++ b/src/Diagnostics.cc
@@ -797,12 +797,12 @@ namespace bolt {
         write("due to an equality constraint on ");
         write(describe(E.Source->getKind()));
         write(":\n\n");
-        write(" - left type ");
-        writeType(E.OrigLeft, E.LeftPath);
-        write("\n");
-        write(" - right type ");
-        writeType(E.OrigRight, E.RightPath);
-        write("\n\n");
+        // write(" - left type ");
+        // writeType(E.OrigLeft, E.LeftPath);
+        // write("\n");
+        // write(" - right type ");
+        // writeType(E.OrigRight, E.RightPath);
+        // write("\n\n");
         writeNode(E.Source);
         write("\n");
         // if (E.Left != E.OrigLeft) {