From e7d82cb64031c49c9f6b5d0aef904649a7b2283b Mon Sep 17 00:00:00 2001
From: Joseph Ferano <joseph@ferano.io>
Date: Fri, 25 Sep 2026 20:30:31 +0700
Subject: [PATCH] A match arm can match a number or string literal, queued

---
 TODO.org | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/TODO.org b/TODO.org
index 87fae9fa..262eec92 100644
--- a/TODO.org
+++ b/TODO.org
@@ -296,6 +296,10 @@ keyword resolves against the expected type and against nothing else, so two enum
 could always share a member spelling. What the prefix buys is the call site read
 on its own.
 
+** NEXT match over numbers and strings
+Decided 2026-09-25: a match arm's pattern can be an integer, a float, a char or a
+string literal, compared as =(= t lit)=; a match over such a type needs a =_= arm.
+
 ** DONE match over enums
 CLOSED: [2026-09-25]
 =Ast.Pkw= is the keyword pattern; =Check.check_match= resolves it against the