From 60d7ef1360b169675c6db1e528fe2e4f6dbcb847 Mon Sep 17 00:00:00 2001 From: "Sean T. Allen" Date: Sun, 1 Mar 2026 09:48:38 -0500 Subject: [PATCH 1/2] Add \exhaustive\ annotation to exhaustive match blocks Ponyc recently added an \exhaustive\ annotation for match expressions. When present, the compiler will fail compilation if the match is not exhaustive. This protects against future breakage if new variants are added to a union type. --- glob/glob.pony | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/glob/glob.pony b/glob/glob.pony index c349e8f..4663e28 100755 --- a/glob/glob.pony +++ b/glob/glob.pony @@ -60,7 +60,7 @@ primitive Glob : Array[(String, Array[String])] val => """ - Returns `name` and the matching subgroups for `names` that match `pattern`. + Returns `name` and the matching subgroups for `names` that match \exhaustive\ `pattern`. All strings are first case-normalized if the operating system requires it. """ From 9fa2a387cc566a64e000f643fbc121e46904c7d6 Mon Sep 17 00:00:00 2001 From: "Sean T. Allen" Date: Sun, 1 Mar 2026 10:11:32 -0500 Subject: [PATCH 2/2] Fix docstring corruption from automated annotation The annotation script incorrectly replaced "match" inside multi-line docstrings. This restores the original prose text. --- glob/glob.pony | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/glob/glob.pony b/glob/glob.pony index 4663e28..c349e8f 100755 --- a/glob/glob.pony +++ b/glob/glob.pony @@ -60,7 +60,7 @@ primitive Glob : Array[(String, Array[String])] val => """ - Returns `name` and the matching subgroups for `names` that match \exhaustive\ `pattern`. + Returns `name` and the matching subgroups for `names` that match `pattern`. All strings are first case-normalized if the operating system requires it. """