summaryrefslogtreecommitdiff
path: root/goal.fiddle
Commit message (Collapse)AuthorAge
* Implement qualification.Josh Rahm2024-10-05
| | | | | | | Big change. Implements qualification, which separates the qualification concerns from the ConsistencyCheck phase. I'm getting close to implementing a backend.
* Change the UnitInterface to have uncoupled Metadata.Josh Rahm2024-10-03
| | | | As opposed to the original 'Annotated' data type.
* Another monolithic change. Not good git ettiquite.Josh Rahm2024-10-03
| | | | | Import statements are fully implemented including compiling to an interface file for faster compilations.
* wipJosh Rahm2024-09-28
|
* Add import statements, add using statements, properly cross-packageJosh Rahm2024-09-22
| | | | symbols.
* More major changes to the grammer.Josh Rahm2024-09-22
| | | | | | 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.
* Some major changes to the structure of the language.Josh Rahm2024-09-20
| | | | | | | | | Added structures and unions to better define the layout and model overlapping concerns. renamed objtype -> type and object -> instance. added reserved statements for types.
* Crude compilation pipeline starting to take shape.Josh Rahm2023-01-09
| | | | | This simply does a Stage0 -> Stage1 conversion. Namely, parse the text, check for syntax errors, squeeze the resulting ast and ... that's it.
* Parser is able to parse the goal file.Josh Rahm2023-01-08
|
* Some more fleshing-out of the parser and better AST utils.Josh Rahm2022-12-18
|
* fiddle: have a basic tokenizer working.Josh Rahm2022-12-17
|
* Initial commit with goal file in mindJosh Rahm2022-12-16