Michael Benfield
Michael Benfield
@JohnCSimon I've got local in-progress changes that are semi-close to being done. I've been meaning to get back to this anyway so I'll see if I can get them done...
Status: I think I'll have this ready for review by end of week. I had it pretty much done and then got laid off and lost access to the code...
This diagnostic will be triggered if you use the compiler option `-Zinline-mir`. This is also the case for a number of other scenarios, like if you use the explicit method...
I made the error into a compiler error as you suggested; that makes a little more sense. One other change to note: previously async functions with no body gave an...
I lean towards thinking we shouldn't. Other programming languages treat empty functions as a normal thing that doesn't need to be warned about, and why would Leo need to be...
Maybe there's a more preferred action to take; link to something else instead; lmk.
Fixed a couple other apparently dead links.
This still needs changes to the interpreter itself, and it depends on a SnarkVM PR of mine, so we won't be able to merge it for a while. But I...
Alright, here's an update. The two `Value`s are unified into `LeoValue`, which wraps SnarkVM's Value. Const propagation is run again as a later optimization, propagating through `let`. The interpreter is...
--- ## 🧪 Additional Functionality This design does not capture all of the things a developer may want to test. Notably, because test transitions cannot take inputs, it’s not easy...