From 1df02db239aad3d19d142cacd04113f9934e947c Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Wed, 18 Dec 2024 15:10:57 -0500
Subject: [PATCH] Fix for tables with default values not doing type equality
 right

---
 types.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/types.c b/types.c
index bcbb74c..49505ae 100644
--- a/types.c
+++ b/types.c
@@ -43,11 +43,11 @@ CORD type_to_cord(type_t *t) {
         }
         case TableType: {
             auto table = Match(t, TableType);
-            if (table->value_type)
-                return CORD_asprintf("{%r:%r}", type_to_cord(table->key_type), type_to_cord(table->value_type));
-            else
+            if (table->default_value)
                 return CORD_asprintf("{%r=%.*s}", type_to_cord(table->key_type),
                                      table->default_value->end - table->default_value->start, table->default_value->start);
+            else
+                return CORD_asprintf("{%r:%r}", type_to_cord(table->key_type), type_to_cord(table->value_type));
         }
         case SetType: {
             auto set = Match(t, SetType);