summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
...
* Some major changes to the structure of the language.Josh Rahm2024-09-20
| | | | | | | | | Added structures and unions to better define the layout and model overlapping concerns. renamed objtype -> type and object -> instance. added reserved statements for types.
* Add Stage3 compliation.Josh Rahm2024-08-24
| | | | | I think this is the last phase before sending the refined AST to the backend compiler to be processed.
* Fleshed out stage2 and made some big changes.Josh Rahm2024-08-21
| | | | | Delegated behavior of Compile monad to monad transformers MaybeT and RWS.
* Start implementing the Stage2 compiler.Josh Rahm2023-01-20
|
* Start working on Stage1 -> Stage2 re-assembler.Josh Rahm2023-01-15
|
* Crude compilation pipeline starting to take shape.Josh Rahm2023-01-09
| | | | | This simply does a Stage0 -> Stage1 conversion. Namely, parse the text, check for syntax errors, squeeze the resulting ast and ... that's it.
* Parser is able to parse the goal file.Josh Rahm2023-01-08
|
* Some more fleshing-out of the parser and better AST utils.Josh Rahm2022-12-18
|
* WIP: Basic parser implemented.Josh Rahm2022-12-17
| | | | | The parser is completely untested and probably broken, but it's probably pretty close becasue it does typecheck. This is a Work-in-progress.
* fiddle: have a basic tokenizer working.Josh Rahm2022-12-17
|
* Start implementing "fiddle" code.Josh Rahm2022-12-16
nothing is happening right now, but it's on its way.