From 3a93952b3625d834fb9045e40825ca95dc4e46dc Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Fri, 2 Jun 2023 21:38:06 +0200
Subject: [PATCH] Fix error while printing record types

---
 src/Diagnostics.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/Diagnostics.cc b/src/Diagnostics.cc
index b9a975d3a..3ce5a2d0c 100644
--- a/src/Diagnostics.cc
+++ b/src/Diagnostics.cc
@@ -126,6 +126,8 @@ namespace bolt {
         return "a match-expression";
       case NodeKind::ConstantExpression:
         return "a literal expression";
+      case NodeKind::MemberExpression:
+        return "an accessor of a member";
       case NodeKind::IfStatement:
         return "an if-statement";
       case NodeKind::IfStatementPart:
@@ -636,7 +638,7 @@ namespace bolt {
         }
         if (Ty2->getKind() != TypeKind::Nil) {
           W.write("; ");
-          visit(Ty);
+          visit(Ty2);
         }
         W.write(" }");
         for (auto K = 0; K < I; K++) {