4 ms·
> Nice. It makes sense to try to formalize the semantics of Rust's new intermediate representation, not MIR. I'm no expert, but according to this: https://blog
by rando832 10y ago
> Nice. It makes sense to try to formalize the semantics of Rust's new intermediate representation, not MIR.
I'm no expert, but according to this: https://blog.rust-lang.org/2016/04/19/MIR.html https://blog.rust-lang.org/2016/04/19/MIR.html, MIR /is/ Rust's new intermediate representation.
- Animats 10y agoOops, put an unwanted "not" in there. Yes, formalize MIR. Don't try to formalize the source language.