From 90a1a9b54de30cf639ca66f13636ae10348e93d9 Mon Sep 17 00:00:00 2001
From: misomosi <misomosispi@gmail.com>
Date: Thu, 2 Jul 2026 13:31:38 -0400
Subject: [PATCH] Add diverging, optional_ok to proc canon name

---
 src/name_canonicalization.cpp | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/name_canonicalization.cpp b/src/name_canonicalization.cpp
index 67ca9e278..7cabdb834 100644
--- a/src/name_canonicalization.cpp
+++ b/src/name_canonicalization.cpp
@@ -972,6 +972,12 @@ gb_internal void write_type_to_canonical_string(TypeWriter *w, Type *type) {
 			type_writer_appendc(w, "->");
 			write_canonical_params(w, type->Proc.results);
 		}
+		if (type->Proc.diverging) {
+			type_writer_appendc(w, "!");
+		}
+		if (type->Proc.optional_ok) {
+			type_writer_appendc(w, "#optional_ok");
+		}
 		return;
 
 	case Type_Generic:
@@ -1010,4 +1016,4 @@ gb_internal void write_type_to_canonical_string(TypeWriter *w, Type *type) {
 	}
 
 	return;
-}
\ No newline at end of file
+}