summaryrefslogtreecommitdiff
path: root/src/Main.hs
Commit message (Collapse)AuthorAge
* Prepare code to make testing much easier.Josh Rahm2024-10-09
| | | | | | This is primarily done by making more things json and by instrumenting which stage in compilation to dump and others. This means I can make bash scripts for end to end testing.
* Much better handling for the generic syntax tree.Josh Rahm2024-10-05
| | | | It now converts normal data into JSON rather than using "show".
* Clean up warnings and remove unused files.Josh Rahm2024-10-03
|
* Add empty qualification stage.Josh Rahm2024-10-03
| | | | | This stage will be responsible for qualifying all types and attaching necessary metadata to make the job of later stages much easier.
* Another monolithic change. Not good git ettiquite.Josh Rahm2024-10-03
| | | | | Import statements are fully implemented including compiling to an interface file for faster compilations.
* Option parsing with optparse-applicativeJosh Rahm2024-09-28
|
* Add import resolution phase and also add a more abstractions aroundJosh Rahm2024-09-27
| | | | compliation phases.
* Rename some of the stages.Josh Rahm2024-09-26
| | | | | | Stage1 -> Parsed Stage2 -> Expanded Stage3 -> Checked
* feat: Add AdvanceStage typeclass and refactor code to use itJosh Rahm2024-09-25
| | | | | | | Introduced the `AdvanceStage` typeclass, which provides a mechanism to transition AST elements between different compilation stages. This abstraction facilitates easier traversal and modification of the syntax tree as it progresses through various compilation phases.
* 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.
* 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
|
* 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.