| Commit message (Collapse) | Author | Age |
| |
|
|
|
|
|
| |
Big change. Implements qualification, which separates the qualification
concerns from the ConsistencyCheck phase.
I'm getting close to implementing a backend.
|
| |
|
|
| |
As opposed to the original 'Annotated' data type.
|
| |
|
|
|
| |
Import statements are fully implemented including compiling to an
interface file for faster compilations.
|
| | |
|
| |
|
|
| |
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.
|
| |
|
|
|
| |
This simply does a Stage0 -> Stage1 conversion. Namely, parse the text,
check for syntax errors, squeeze the resulting ast and ... that's it.
|
| | |
|
| | |
|
| | |
|
| |
|