Keno Fischer
Keno Fischer
As I said, you're missing most of the logic to actually make it work. In particular, you don't have an execution engine.
It's probably not too bad to make work, you'd need MCJIT and the ability to split the shadow module. You can see how julia does it here: https://github.com/JuliaLang/julia/blob/c070ac80ac218d7335e757e54bb5a31b8196e98d/src/ccall.cpp#L497.
Time to revisit https://github.com/JuliaLang/julia/pull/32658?
In the variant of `:method` with more than one arg, the `fname` is ignored semantically, so it was re-used for the MethodTable argument. If LoweredCodeUtils is making use of it...
Any loop that makes forward progress was never UB
I think the wording in this PR right now is fine and I would suggest a rebase and merge, so we can take it off the milestone. If there's further...
> That matches my expectations, though. It's just fine that `r()` uses an old value of `a` and `f()` uses a new one and that the two may not be...
> invalid string codeunits were included in this list as UB Clearly they're not
> And yet I wouldn't have thought to call that UB. It's not UB > The value from undef bitstype array is unspecified, and you can use it. But were...
> Am I using my words correctly if I describe `const` redefinition in these terms Kind of? I think part of the problem is the focusing on the behavior of...