| Commit message (Collapse) | Author | Age |
... | |
|
|
|
|
|
|
|
|
| |
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.
|
| |
|
| |
|
|
|
|
|
| |
The parser is completely untested and probably broken, but it's probably
pretty close becasue it does typecheck. This is a Work-in-progress.
|
| |
|
|
nothing is happening right now, but it's on its way.
|