On Wednesday, 19 April 2017 at 16:19:09 UTC, Ola Fosheim Grøstad wrote:

Yup. And actually also "while" and "for". More minimal languages just have: block, conditional and jump-to-start-of-block.

This reminds me of Rust's mid-level IR for some reason. For instance, according to one of the Rust blog posts goto completely replaces loop, break, and continue.

Does it make sense to think of MIR as AST macros that only the compiler has access to?

Reply via email to