aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel/names.mli
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-08-11 11:33:12 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-08-11 11:33:12 +0200
commit270be2561ae440cea814566b74712750352e56e4 (patch)
treec8bad4daef33d1e2eaad7f90a4a03506b843e187 /lib/kernel/names.mli
parentca289b2f43a5b097c4ec20308c1661a0c404399c (diff)
downloadcolitur-270be2561ae440cea814566b74712750352e56e4.tar.gz
colitur-270be2561ae440cea814566b74712750352e56e4.zip
test(kernel): cover Lang's sexp validation path
test_lang exercised only of_string. Add a sexp round-trip plus a check_raises proving a malformed-but-plausible code ("e1": right length, fails the lowercase rule) is rejected by t_of_sexp rather than silently accepted -- mirrors test_slug_sexp's guard against a future regression to [@@deriving sexp].
Diffstat (limited to 'lib/kernel/names.mli')
0 files changed, 0 insertions, 0 deletions