Jean-Christophe Léchenet
Jean-Christophe Léchenet
Is this still valid? I'll give a try tomorrow.
Indeed, the internal compilation error is not there any more. But I must admit I don't get what the rules now are (in what cases the copy can be inserted,...
At least it's possible to circumvent that (but still not sure if there is a real use case and if it's worth thinking about that problem). ``` fn f (reg...
Indeed, the error message is now clear.
After looking at the code with @bgregoir, here are some ideas that we had: - stop having params and locals on the one hand and globals on the other hand...
Starting from "After variable renaming to remove copies", the `reg ptr` becomes `const`. Isn't it the problem? It doesn't mean that we cannot make the code of stack_alloc simpler.
(sry, didn't want to close)
The file is now called insert_copy_and_fix_length.ml, but the error is still there.
cc @bgregoir and @vbgl If you want to add something
@vbgl What do you mean exactly? Extraction to EC does not work currently? Is this needed for both releases or only for 2022.01?