| Commit message (Collapse) | Author | Age |
| |
|
|
|
|
| |
compliation phases.
|
|
|
|
|
|
| |
Stage1 -> Parsed
Stage2 -> Expanded
Stage3 -> Checked
|
| |
|
| |
|
|
|
|
|
|
|
| |
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.
|
|
|
|
| |
Make some more changes to the generic implementation of EasySwitchStage.
|
|
|
|
| |
symbols.
|
|
|
|
|
|
| |
Added annotation sublanguage for defining compiler directives. Also
added the syntax for import statements. Imports are not implemented, but
I'm currently working on that.
|
|
|
|
|
|
|
|
|
| |
Added structures and unions to better define the layout and model
overlapping concerns.
renamed objtype -> type and object -> instance.
added reserved statements for types.
|
|
|
|
|
| |
I think this is the last phase before sending the refined AST to the
backend compiler to be processed.
|
|
|
|
|
| |
Delegated behavior of Compile monad to monad transformers MaybeT and
RWS.
|
| |
|
| |
|
|
This simply does a Stage0 -> Stage1 conversion. Namely, parse the text,
check for syntax errors, squeeze the resulting ast and ... that's it.
|