As of now, at least four of the compiler test programs are passing. I still need to work through a lot of stuff:
- Infix operator precedence rules are busted
- Type inference for certain expression forms is broken
- Overload resolution doesn't quite work all the time
- Parser and compiler diagnostic errors are terrible (or just plain non-existent)
- There's still lots of room for optimizations
- Much of the code needs cleanup
- And of course there are vast swaths of documentation to write
So it'll be a while yet before Release 12 ships, but we're getting there. The end is definitely in sight, and it feels great to be in a position where the remaining tasks are just some bullet points and bugs rather than "hey, go rewrite an entire compiler! Yayy!"
Probably the single biggest task will be getting decent diagnostic errors from the compiler. That's a huge chunk of territory I haven't even begun to mess with in this new compiler architecture, and it'll be time before I have a good sense for how much effort will be involved in getting good errors out. Until then, any broken program is likely to just fail in cryptic and unhelpful ways.
I'm pondering kicking R12 out the door without decent errors, but I don't think it's the best idea ever.
Speaking of ideas, I'm thinking of changing a couple things in the future (probably not R12 because I already have enough to do for that milestone).
Currently, Epoch programs look like this:
some_function : (integer(param)) -> (string(return, ""))
What if they looked like this, instead?
some_function: integer<'param'> -> string<'return'>("")
Function definition syntax loses some extraneous parentheses, and variable definitions get called out in two specific ways: angle brackets indicate compile-time code invocation, and single quotes indicate identifiers that have not yet been used in the program. This distinguishes the variable definition foo<'bar'> from the function call foo(bar) in a clean way.