Note idris2_constr____gt fix in changelog and add myself to contributors

jmanuel1 · jmanuel1 · commit 4ee3f7627f4b · 2025-05-17T14:40:30.000-07:00
diff --git a/CHANGELOG_NEXT.md b/CHANGELOG_NEXT.md
@@ -176,6 +176,10 @@ This CHANGELOG describes the merged but unreleased changes. Please see [CHANGELO
 * Constant `String`, `Int64`, `Bits64` and `Double` values are allocated statically as
   immortal and shared.
 
+* A constant string for the representation of Pi type constructor is defined in
+  the support library. Code that creates or pattern-matches on Pi types at
+  runtime will now build instead of being rejected by the C compiler.
+
 #### Chez
 
 * Fixed CSE soundness bug that caused delayed expressions to sometimes be eagerly
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
@@ -35,6 +35,7 @@ Hiroki Hattori
 Ilya Rezvov
 Jacob Walters
 Jan de Muijnck-Hughes
+Jason Manuel
 Jeetu
 Jens Petersen
 Joel Berkeley
