Print the written name in inline-decimal-sites
S7 prints a type variable's written name, so text's result shows
(element M) where S4's case was recorded before S7 as (element A).
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01U4FzmThon6Q3x1uL8yUKEY
commitf5939a4ae39e6b9dd179dd87276296af3f3dd27c
authorClaude <noreply@anthropic.com>
dateTue 3 Nov 2026, 03:53 (8 hours ago)
parent706e9ca
tests/golden/inline-decimal-sites/types.txt+1−1
@@ -62,7 +62,7 @@ partial inference; module not checked
6262/tests/golden/inline-decimal-sites/source.jibb:22:15: decimal
6363++ note (text 5)
6464 ^
65−++ note-ok: (element A)
65+++ note-ok: (element M)
6666++ shown: `5` is a @ud, not a @t; write "5"
6767/tests/golden/inline-decimal-sites/source.jibb:24:32: decimal
6868++ shown ^- (element !!) (text 5)