06/03/2020, 11:53 AM
I pushed up more changes, including a readme. The code there is very hacky and hard-coded as I experiment with analysis. I will definitely clean it up soon. It appears I'm past type-checking and now I'm getting a codegen error (which I think is a good thing!) I'll start experimenting soon with IR transforms and will clean up the code to make it actually useable. I've changed the test to explicitly check for a codegen error for now, so that it will pass and to ensure we're past type-checking and ready to start looking at codegen.
A bunch of other tests are failing. I'll look into that.


06/03/2020, 4:54 PM
Now it’s time to include in the plugin irDump() as a phase
that will output the IR tree and we need to create the diff from what comes to an exact program written in desugared style
That diff will show us what IR transformation we need to perform to make it work
👍🏻 1