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
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
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
