| Commit message (Collapse) | Author | Age |
|---|
| | |
|
| | |
|
| |
|
|
|
|
| |
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.
|
| |
|
|
|
|
|
| |
Big change. Implements qualification, which separates the qualification
concerns from the ConsistencyCheck phase.
I'm getting close to implementing a backend.
|
| | |
|
| |
|
|
|
| |
This stage will be responsible for qualifying all types and attaching
necessary metadata to make the job of later stages much easier.
|
| |
|
|
|
| |
Import statements are fully implemented including compiling to an
interface file for faster compilations.
|
| | |
|
| |
|
|
| |
compliation phases.
|
| |
|
|
|
| |
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.
|
