| Commit message (Collapse) | Author | Age |
| |
|
|
|
|
| |
It now converts normal data into JSON rather than using "show".
|
|
|
|
|
|
|
| |
Big change. Implements qualification, which separates the qualification
concerns from the ConsistencyCheck phase.
I'm getting close to implementing a backend.
|
| |
|
| |
|
|
|
|
|
| |
Import statements are fully implemented including compiling to an
interface file for faster compilations.
|
|
|
|
| |
compliation phases.
|
|
|
|
|
|
|
| |
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.
|
|
|