Do naive compound literal comparison for $ parameters to parapoly procedures

1 files changed, 18 insertions, 1 deletions

diff --git a/src/exact_value.cpp b/src/exact_value.cpp
index e7077bd5b..f266b8b24 100644
--- a/src/exact_value.cpp
+++ b/src/exact_value.cpp
@@ -947,6 +947,8 @@ gb_internal gb_inline i32 cmp_f64(f64 a, f64 b) {
 	return (a > b) - (a < b);
 }
 
+gb_internal bool compare_exact_values_compound_lit(TokenKind op, ExactValue x, ExactValue y, bool *do_break_);
+
 gb_internal bool compare_exact_values(TokenKind op, ExactValue x, ExactValue y) {
 	match_exact_values(&x, &y);
 
@@ -1055,9 +1057,24 @@ gb_internal bool compare_exact_values(TokenKind op, ExactValue x, ExactValue y)
 		case Token_NotEq: return x.value_typeid != y.value_typeid;
 		}
 		break;
+
+	case ExactValue_Compound:
+		if (op != Token_CmpEq && op != Token_NotEq) {
+			break;
+		}
+
+		if (x.kind != y.kind) {
+			break;
+		}
+		bool do_break = false;
+		bool res = compare_exact_values_compound_lit(op, x, y, &do_break);
+		if (do_break) {
+			break;
+		}
+		return res;
 	}
 
-	GB_PANIC("Invalid comparison");
+	GB_PANIC("Invalid comparison: %d", x.kind);
 	return false;
 }