More information about Jai in this recent blog post:
http://the-witness.net/news/2018/03/testing-the-jai-compiler/
1 Like
I believe the biggest impediment to getting maximally permissive compile-time execution was resolved here: https://github.com/rust-lang/rust/pull/46882
MIRI is a MIR interpreter, so the idea, if I understand correctly, is to have the compiler turn Rust code into MIR, then run anything that should be run at compile time in MIRI.
I say âmaximally permissiveâ rather than âarbitraryâ because there are still things that canât/shouldnât be done at compile time; these are under discussion here (and maybe elsewhere).
This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.