Add support for syntactic command arguments - #893

Draft

Janno wants to merge 12 commits into

LPCIC:masterfrom

Janno:janno/very-raw-args

Commits on Sep 26, 2025

Add and use helper for predicates producing diagnostics
Jan-Oliver Kaiser
committed
f38799d
Add @no-coercion! option and macro
Jan-Oliver Kaiser
committed
20c57da
Add support for syntactic command arguments
Jan-Oliver Kaiser
committed
914f603

Commits on Sep 30, 2025

WIP Address feedback
Jan-Oliver Kaiser
committed
0373e4e

Commits on Oct 3, 2025

regenerate builtins
gares
committed
b33ccf2
keep loc if any
gares
committed
7588c7c
give error, do not backtrack
gares
committed
786ad93
rm without-type-constraint
gares
committed
bfad5cd
refactor/rename
gares
committed
e7dedba
util
gares
committed
91cc77c
fix test
gares
committed
88635fc
syntactic.arg -> syntactic
gares
committed
f9746b0