Revise syntax #3

2026-05-21T13:52:23Z

HEL commented

2026-05-21 13:52:23 +00:00

This PR implements a new revised version of the syntax, which better maps to existing language features, especially Python's.
The main changes are described here and you can find an example of the syntax in examples/00_syntax_prototype/03_custom_types_v2.midas

Two points that still need some work are the handling of generic types, and aliases of complex types with additional constraints (as described in the aforementioned document)

This PR implements a new revised version of the syntax, which better maps to existing language features, especially Python's. The main changes are described [here][1] and you can find an example of the syntax in `examples/00_syntax_prototype/03_custom_types_v2.midas` Two points that still need some work are the handling of generic types, and aliases of complex types with additional constraints (as described in the [aforementioned document][1]) [1]: https://git.kb28.ch/HEL/TB-Docs/src/branch/main/research/02_syntax_revision.md

HEL self-assigned this 2026-05-21 13:52:23 +00:00

HEL added 18 commits 2026-05-21 13:52:23 +00:00

feat: revise syntax (example) 0a02b9d3d9

improve the syntax to better fit the principle of least surprise and Python syntax

fix: tweak syntax examples e282b08597

- move operation definitions outside GeoLocation type
- add nullable type
- list syntax choices for complex refinement

fix(parser)!: remove annotation lexer and parser abf6787946

tests(parser): use new MidasSyntaxError adf7f4e7a2

fix: change syntax definition to W3C EBNF 7477ec8d70

feat: update EBNF with revised syntax db8fe5d3ff

feat: update railroad diagrams with revised syntax 429d0d98fe

feat(parser): update lexer with new tokens 98c3510bd4

tool: add AST class generator script f3b6bd146f

feat(parser)!: adjust AST node classes for new syntax 19229db0b1

fix(parser): allow underscores in identifier c1c50a448e

modify the lexer to allow underscores in an identifier, but keep scanning single underscores as a specific underscore token

feat(parser): add more nodes for constraint parsing 8f9ec8d73b

feat(parser)!: adapt parser for revised syntax 5cb4d587e3

fix(parser): update AST printer bdcb12c58a

fix(parser): update pretty printer 5224e79d9f

tests(parser): update snapshot with new syntax 2f6e137f1a

test(parser): remove pytest tests 53929ee514

fix(parser): complete EBNF and railroad diagrams 12d762429d

HEL added 1 commit 2026-05-22 07:46:33 +00:00

fix(parser): update parser docstrings 409d9f8fa6

HEL marked the pull request as ready for review 2026-05-22 08:00:38 +00:00

HEL merged commit b5969e9a2b into main

2026-05-22 08:01:00 +00:00

HEL deleted branch feat/revise-syntax

2026-05-22 08:01:00 +00:00

HEL referenced this issue from a commit

2026-05-22 08:01:00 +00:00

Merge pull request 'Revise syntax' (#3) from feat/revise-syntax into main

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: HEL/midas#3