|
|
409d9f8fa6
|
fix(parser): update parser docstrings
|
2026-05-22 09:46:24 +02:00 |
|
|
|
12d762429d
|
fix(parser): complete EBNF and railroad diagrams
|
2026-05-21 15:46:40 +02:00 |
|
|
|
53929ee514
|
test(parser): remove pytest tests
|
2026-05-21 15:07:19 +02:00 |
|
|
|
2f6e137f1a
|
tests(parser): update snapshot with new syntax
|
2026-05-21 15:04:32 +02:00 |
|
|
|
5224e79d9f
|
fix(parser): update pretty printer
|
2026-05-21 14:45:52 +02:00 |
|
|
|
bdcb12c58a
|
fix(parser): update AST printer
|
2026-05-21 14:27:38 +02:00 |
|
|
|
5cb4d587e3
|
feat(parser)!: adapt parser for revised syntax
|
2026-05-21 13:57:38 +02:00 |
|
|
|
8f9ec8d73b
|
feat(parser): add more nodes for constraint parsing
|
2026-05-21 13:54:58 +02:00 |
|
|
|
c1c50a448e
|
fix(parser): allow underscores in identifier
modify the lexer to allow underscores in an identifier, but keep scanning single underscores as a specific underscore token
|
2026-05-21 13:54:19 +02:00 |
|
|
|
19229db0b1
|
feat(parser)!: adjust AST node classes for new syntax
|
2026-05-21 12:25:47 +02:00 |
|
|
|
f3b6bd146f
|
tool: add AST class generator script
|
2026-05-21 12:24:43 +02:00 |
|
|
|
98c3510bd4
|
feat(parser): update lexer with new tokens
|
2026-05-21 09:15:14 +02:00 |
|
|
|
429d0d98fe
|
feat: update railroad diagrams with revised syntax
|
2026-05-21 07:53:56 +02:00 |
|
|
|
db8fe5d3ff
|
feat: update EBNF with revised syntax
|
2026-05-21 07:53:40 +02:00 |
|
|
|
7477ec8d70
|
fix: change syntax definition to W3C EBNF
|
2026-05-20 15:47:34 +02:00 |
|
|
|
adf7f4e7a2
|
tests(parser): use new MidasSyntaxError
|
2026-05-20 15:46:25 +02:00 |
|
|
|
abf6787946
|
fix(parser)!: remove annotation lexer and parser
|
2026-05-20 15:45:55 +02:00 |
|
|
|
e282b08597
|
fix: tweak syntax examples
- move operation definitions outside GeoLocation type
- add nullable type
- list syntax choices for complex refinement
|
2026-05-20 14:14:01 +02:00 |
|
|
|
0a02b9d3d9
|
feat: revise syntax (example)
improve the syntax to better fit the principle of least surprise and Python syntax
|
2026-05-20 13:20:53 +02:00 |
|
