ArgParser: lift option and defaulting over records and structural unions - #613

Open

Smaug123 wants to merge 5 commits into

mainfrom

argparser-lift-containers

Commits on Jul 31, 2026

ArgParser: report a real error for `'a list list` and `'a option list`

Smaug123
and
claude
committed
99db7a8
ArgParser: lift `option` over records and structural unions

Smaug123
and
claude
committed
47350ee
ArgParser: lift defaulting over records and structural unions

Smaug123
and
claude
committed
5b3d654
ArgParser: document optional groups, and pin how they compose

Smaug123
and
claude
committed
4487f31
ArgParser: backtick the Default-prefixed member name, and reject repeats

Smaug123
and
claude
committed
b3a5fc0