Syntax prototype and basic parser #1

2026-05-19T08:33:36Z

HEL commented

2026-05-19 08:33:36 +00:00

This PR implements a basic syntax for type annotation and type definitions
It adds adds basic lexers and parsers, adapted from the Crafting Interpreters book by Robert Nystrom, more specifically from my previous Python implementation

This is still a prototype and the syntax / implementation will change

This PR implements a basic syntax for type annotation and type definitions It adds adds basic lexers and parsers, adapted from the [_Crafting Interpreters_][1] book by Robert Nystrom, more specifically from my [previous Python implementation][2] This is still a prototype and the syntax / implementation **will** change [1]: https://craftinginterpreters.com/ [2]: https://git.kb28.ch/HEL/pebble

HEL added 41 commits 2026-05-19 08:33:36 +00:00

feat: add some syntax examples 3cf3011160

feat: add vscode extension for basic syntax highlighting 9b59306604

feat(parser): add base lexer class fedc582e16

the lexer and token structures were adapted from another project (see docstring on the Lexer class)

feat(parser): add a basic lexer for annotations 10ee4991c3

feat(parser): add a test script for the annotation lexer fcbea218a4

feat(parser): add basic lexer for type definitions 1fc842e23f

feat(parser): add midas lexer to test script cc4b5dabf2

feat(parser): add base parser class 8252f452f2

the parser was adapted from another project (see docstring on the Parser class)

feat(parser): add a basic annotation parser 721ed812df

feat(parser): add an annotation AST printer c420e5e254

refactor(parser): improve AST printer 052339ad3a

refactored the messy AST printer impletation with Claude to use a context manager, an enum and extract common functions

Co-authored-by: Claude <noreply@anthropic.com>

feat(parser): use AST printer in test script 6d885a0449

fix(parser): prepare printer for midas printer 4d25b43a4e

feat(parser): add base Midas parser (incomplete) 6482e06bca

feat(parser): parse type body 3b40abaa2b

feat(parser): parse op statements 0af31a6f85

feat(parser): use midas parser in test script 4b715ed33a

feat(parser): parse constraint statements 61b36ee50f

feat(parser): add documentation to annotation parser 5831906f26

feat(parser): add documentation to Midas parser 539084f6d8

feat: add annotations EBNF 4fe495620b

feat: add annotations railroad diagrams 903179832e

feat: add Midas EBNF a3ba0ef35d

feat: add Midas railroad diagrams 64d96bd94e

feat(parser): add AnnotationStmt and ConstraintExpr cbf0f2852e

feat(parser): update annotation printers 340bcc65fd

feat(parser): add operators to annotations lexer be50a8db35

feat(parser): parse annotation type constraints 8bc0918517

feat(parser): split annotation and Midas keywords e10d71a66b

feat(parser): parse Midas type constraints 74ac9c5381

feat(parser): add Midas pretty printer 3f199ff134

fix(parser): update examples ee308fe223

tests(parser): add basic lexer test 453c72af6d

add a basic test for the annotation lexer to check punctuation tokens

tests(parser): complete simple annotation lexer tests f41c757838

fix(parser): fix bang equal 1b1fbb834e

consume equal token when matching bang-equal

tests(parser): add literal value test 6f0c0ce326

tests(parser): add syntax error test 7581a35be4

tests(parser): add tests for annotation parser ae02bab030

tests(parser): add tests for midas parser 6922e49cdf

fix(parser): handle extra tokens in Midas parser 7a831a1afc

tests(parser): add midas lexer tests 697f4d5003

HEL merged commit 80bfcd0d1a into main

2026-05-19 08:34:07 +00:00

HEL deleted branch feat/syntax-prototype

2026-05-19 08:34:07 +00:00

HEL referenced this issue from a commit

2026-05-19 08:34:07 +00:00

Merge pull request 'Syntax prototype and basic parser' (#1) from feat/syntax-prototype into main

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: HEL/midas#1