Andrew Johnson

Comparison fragments could be a boolean value or a brach conditional depending on context. ``` if (

Current Breakdown | phase | phase time | cumulative | |--------|--------------|------------| | tokenize | 0.000s | 0.000s | | parse | 0.156s | 0.156s | | preprocess | 0.750s |...

`Verify` fragments and functions are required to prove all properties that they declare or depend on. `Verify` dependencies must also be either `Verify` or `NoVerify`. A compiler flag could be...

Old local variables can be reused for new data if their lifetime is over.

Bundle specializing default libraries to create a derivative compiler

1

Eventually it would be nice to bundle library definitions and other addons to create specialized compilers. So there could be a "lm-python" compiler that is drop-in compatible with that functionality.

Types up and types down.

Cleanup and organize instruction set

1

generic moves and normal instructions are disorganized

fastcall, etc.

List head is a partial function that may fail if the list is nil. The resulting blame should send the user to the call-site of head not into the head...