spec: Add initial tooling to check data formats, prepare for more elaborate type checking - #271

Merged

RobinJadoul merged 15 commits into

Feb 10, 2026

Commits on Feb 9, 2026

spec: Add initial tooling to check data formats, prepare for more elaborate type checking
RobinJadoul
committed
db8e69b
Initial type checking
RobinJadoul
committed
7f02bdf
ruff format
RobinJadoul
committed
d3ae40b
Update some more typing mismatches
RobinJadoul
committed
6b7b916
Move to range-based type checks
RobinJadoul
committed
615b76b
Avoid casting to more limbs by leveraging scalar-array mult and literal casts
RobinJadoul
committed
9adb4fe
toml fixes to pass type checks
RobinJadoul
committed
96ebfbe
Type check virtual definitions properly now
RobinJadoul
committed
54127d8
ruff format
RobinJadoul
committed
b9a218b
Make typst compile by turning big range values to string
RobinJadoul
committed
223fa81
Switch some isinstance checks around to make both mypy and ty work
RobinJadoul
committed
d4b9fda
Fix issues after rebasing on spec/main
RobinJadoul
committed
7ef1970
Address review comments
RobinJadoul
committed
992c5b3

Commits on Feb 10, 2026

Review comments
RobinJadoul
committed
ddeb505
lit -> const
RobinJadoul
committed
3d846e6