23 Commits

Author	SHA1	Message	Date
Emin Arslan	bd907fe69a	minor changes	2026-02-02 19:53:08 +03:00
Emin Arslan	d7729571ea	core_ast: modify the core ast to use unary functions	2026-01-16 22:34:35 +03:00
Emin Arslan	12b347de38	general: removed containers dependency	2026-01-14 21:40:21 +03:00
Emin Arslan	11625c88c6	core_ast: add of_sexpr	2026-01-14 12:28:22 +03:00
Emin Arslan	d41d8e5fbe	core_ast: add initial draft for the core ast, and a conversion function from the syntactic ast	2026-01-07 20:02:10 +03:00
Emin Arslan	ec56d76fb3	syntactic_ast: modify the phantom types to have concrete constructors, as the ocaml compiler cannot prove them distinct otherwise	2026-01-07 20:00:11 +03:00
Emin Arslan	be81061895	syntactic_ast: fix issue in set! parsing, add set! to the test case.	2026-01-07 18:18:38 +03:00
Emin Arslan	e25b6b0b10	syntactic_ast: fix issue in cond parsing	2026-01-07 18:17:24 +03:00
Emin Arslan	0d731f29b3	syntactic_ast: added a node for set! expressions	2026-01-07 18:13:55 +03:00
Emin Arslan	54c48ddf0e	syntactic_ast: add node for if expressions	2026-01-07 18:03:28 +03:00
Emin Arslan	edc9d8b9e6	syntactic_ast: added parsing and pretty printing for cond expressions	2026-01-04 21:38:04 +03:00
Emin Arslan	e95a115acf	syntactic_ast: Added proper handling for Let and Letrec	2026-01-03 21:35:27 +03:00
Emin Arslan	9fb29afc3e	syntactic_ast: Modified letrec forms to also accept a body	2026-01-03 20:49:17 +03:00
Emin Arslan	17e533dbb8	Modified the GADT to distinguish bodies	2026-01-03 20:43:11 +03:00
Emin Arslan	6d95977324	ast: improved the implementation of syntactic_ast ... 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
haxala1r	cb94372f29	new ast: added a new syntactic_ast module that provides a more structured AST as a GADT	2026-01-03 16:44:00 +03:00
haxala1r	bc7ca0fa2d	new library: added containers as a dependency.	2026-01-01 13:36:09 +03:00
haxala1r	9981c222eb	Added desugar phase for converting cond into a chain of if's	2025-12-28 21:04:45 +03:00
haxala1r	624d420afe	Separated mutually recursive definition of desugar phases ... They do not need to be mutually recursive at all. At first I thought they would have to be, because I thought it would be best if each phase completely desugared the bodies of the expressions they handle, but now I see that would probably lead to an infinite loop. There is simply no reason to couple them so tightly.	2025-12-28 21:04:45 +03:00
haxala1r	d80caadc85	Added gensym, and phases in the desugar module for logical and & or	2025-12-28 21:04:45 +03:00
haxala1r	be0d479665	Added desugar steps to add (begin) wrappers around long lambda bodies, and rewrite internal (define) forms into letrec forms	2025-12-28 21:04:45 +03:00
haxala1r	4f1ad54596	Started work on the compiler, with a desugar phase	2025-12-28 21:04:45 +03:00
haxala1r	adbf083c3d	Reorganized project	2025-12-28 21:04:45 +03:00