git.iko.soy/jibb
on master help sign in
Print the written name in inline-decimal-sites
f5939a4Claude
tests/golden/inline-decimal-sites/types.txt+1−1
compare with master
unifiedsplit
@@ -62,7 +62,7 @@ partial inference; module not checked
62/tests/golden/inline-decimal-sites/source.jibb:22:15: decimal
62/tests/golden/inline-decimal-sites/source.jibb:22:15: decimal
63++ note (text 5)
63++ note (text 5)
64 ^
64 ^
65−++ note-ok: (element A)
65+++ note-ok: (element M)
66++ shown: `5` is a @ud, not a @t; write "5"
66++ shown: `5` is a @ud, not a @t; write "5"
67/tests/golden/inline-decimal-sites/source.jibb:24:32: decimal
67/tests/golden/inline-decimal-sites/source.jibb:24:32: decimal
68++ shown ^- (element !!) (text 5)
68++ shown ^- (element !!) (text 5)