12b347de38
general: removed containers dependency
ci/woodpecker/push/build Pipeline was successful
ci/woodpecker/push/build-nix Pipeline was successful
2026-01-14 21:40:21 +03:00
ec56d76fb3
syntactic_ast: modify the phantom types to have concrete constructors, as the ocaml compiler cannot prove them distinct otherwise
ci/woodpecker/push/build Pipeline was successful
2026-01-07 20:00:11 +03:00
be81061895
syntactic_ast: fix issue in set! parsing, add set! to the test case.
ci/woodpecker/push/build Pipeline was successful
2026-01-07 18:18:38 +03:00
e25b6b0b10
syntactic_ast: fix issue in cond parsing
2026-01-07 18:17:24 +03:00
0d731f29b3
syntactic_ast: added a node for set! expressions
2026-01-07 18:13:55 +03:00
54c48ddf0e
syntactic_ast: add node for if expressions
ci/woodpecker/push/build Pipeline was successful
2026-01-07 18:03:28 +03:00
edc9d8b9e6
syntactic_ast: added parsing and pretty printing for cond expressions
ci/woodpecker/push/build Pipeline was successful
ci/woodpecker/cron/build Pipeline was successful
2026-01-04 21:38:04 +03:00
e95a115acf
syntactic_ast: Added proper handling for Let and Letrec
ci/woodpecker/push/build Pipeline was successful
ci/woodpecker/cron/build Pipeline was successful
2026-01-03 21:35:27 +03:00
9fb29afc3e
syntactic_ast: Modified letrec forms to also accept a body
ci/woodpecker/push/build Pipeline was successful
2026-01-03 20:49:17 +03:00
17e533dbb8
Modified the GADT to distinguish bodies
ci/woodpecker/push/build Pipeline was successful
2026-01-03 20:43:11 +03:00
6d95977324
ast: improved the implementation of syntactic_ast
...
ci/woodpecker/push/build Pipeline was successful
debug: added debug functions for the syntactic_ast module
Modified the compiler executable to test a little bit.
todo: Some nodes of the syntactic ast are not yet emitted,
2026-01-03 18:30:47 +03:00
cb94372f29
new ast: added a new syntactic_ast module that provides a more structured AST as a GADT
ci/woodpecker/push/build Pipeline was successful
2026-01-03 16:44:00 +03:00
