3 ms·
Wouldn't it make most sense to focus this on MIR, which is in many ways a MiniRust already? https://blog.rust-lang.org/2016/04/19/MIR.html https://blog.rust-lan
by AndrewDucker 4y ago
Wouldn't it make most sense to focus this on MIR, which is in many ways a MiniRust already?
https://blog.rust-lang.org/2016/04/19/MIR.html https://blog.rust-lang.org/2016/04/19/MIR.html
- kibwen 4y agoThat's happening separately, in the "mir-formality" project: https://github.com/nikomatsakis/a-mir-formality https://github.com/nikomatsakis/a-mir-formality The two projects are related, but have different objectives (mir-formality includes traits and borrow checking, while MiniRust focuses on operational semantics).
- ralfj 4y agoYes, MiniRust is basically a slightly extended MIR. But MIR is designed for borrow checking and MiniRust is designed for exploring semantics. And MIR doesn't have a precise operational semantics so it's not like this is duplicating much if anything.