From f5fe0de0fd508b5d301708c74e67e7314aa52112 Mon Sep 17 00:00:00 2001
From: Laytan Laats <laytanlaats@hotmail.com>
Date: Sat, 10 Aug 2024 23:34:35 +0200
Subject: [PATCH] add clarity for diverging mismatch error

---
 src/check_expr.cpp | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/src/check_expr.cpp b/src/check_expr.cpp
index 4bce42129..38dc30cfa 100644
--- a/src/check_expr.cpp
+++ b/src/check_expr.cpp
@@ -1237,6 +1237,24 @@ gb_internal void check_assignment(CheckerContext *c, Operand *operand, Type *typ
 						error_line("\t      Got:      %s\n", s_got);
 						gb_string_free(s_got);
 						gb_string_free(s_expected);
+					} else if (same_inputs && same_outputs &&
+						x->Proc.diverging != y->Proc.diverging) {
+
+						gbString s_expected = type_to_string(y);
+						if (y->Proc.diverging) {
+							s_expected = gb_string_appendc(s_expected, " -> !");
+						}
+
+						gbString s_got = type_to_string(x);
+						if (x->Proc.diverging) {
+							s_got = gb_string_appendc(s_got, " -> !");
+						}
+
+						error_line("\tNote: One of the procedures is diverging while the other isn't\n");
+						error_line("\t      Expected: %s\n", s_expected);
+						error_line("\t      Got:      %s\n", s_got);
+						gb_string_free(s_got);
+						gb_string_free(s_expected);
 					} else if (same_inputs && !same_outputs) {
 						gbString s_expected = type_to_string(y->Proc.results);
 						gbString s_got = type_to_string(x->Proc.results);