LPTK commented on issue M-Labs/nac3#51
escape analysisThat seems like a pretty nice tradeoff! Here are some remarks off the top of my head: ### Abstract Interpretation I see that you are using the term "unification" a lot. Here I assume…
LPTK commented on issue M-Labs/nac3#52
Objects with non-primitive fieldsSee related issue: https://git.m-labs.hk/M-Labs/nac3/issues/51
LPTK opened issue M-Labs/nac3#143
Sanity check for primitive operations type signaturesLPTK commented on issue M-Labs/nac3#52
Objects with non-primitive fieldsI agree inlining is not a satisfactory solution. We'd still have the problem for all other functions, and there's no particular reason to have special treatment for constructors.…