Fix/typechecker orderby#74

Merged

matiastoro merged 4 commits into

mainfrom

fix/typechecker-orderby

Jul 6, 2026

Commits on Jun 25, 2026

fix(typing): type ORDER BY aggregate keys by result, reject non-orderable

authored and
Jean Paul Duchens Pacheco
committed

Commits on Jun 30, 2026

fix(typing): reject constant records as ORDER BY sort keys (local hardening)

authored and
Jean Paul Duchens Pacheco
committed

Commits on Jul 1, 2026

fix(typing): reject repetition-group variables as ORDER BY sort keys

authored and
Jean Paul Duchens Pacheco
committed

Commits on Jul 5, 2026

docs(typing): tidy ORDER BY hardening comments, restore simple_type_of_value doc

authored and
Jean Paul Duchens Pacheco
committed