Alon Zakai
Alon Zakai
> if we do StringLifting + TypeRefining, for instance, we might run into the problems around differentiating rec group structures. But TypeRefining will only modify/refine rec groups that are ok...
But that can happen in any refinement of any type - we need to handle that by constantly making sure that private rec groups never turn into public ones, not...
But how can you get to that situation? That is what I am saying is not possible. Maybe an example can help. Say we start with ```wat (rec $private (type...
But that would be a GTO bug, and one that can happen without string lifting and lowering? GTO doing that on the first code fragment (the input) would be the...
Oh, wait, is your concern that GTO wouldn't be aware of the later lowering, so it has no way to avoid this bug? That makes sense. But that isn't GTO's...
> Yes, this is a GTO bug, and a TypeMerging bug, and a bug with basically every type optimization > Ah, for strings we have a distinct lowering pass rather...
I agree there is a runtime cost, but I think the benefit would be that we keep all this complexity out of the main optimization infrastructure. GUFA etc. will not...
One option for this use case could be a python-to-binary tool like Nuitka `--standalone` or py2exe. The first step would be making the current python script not depend on anything...
@hsdk123 can explain the intent, but the top comment is > `Currently to package files we need to use file_packager.py - this requires the installation of python.` > `I also...
cc @jgravelle-google (maybe this could benefit from interface types?)