• Joined on 2021-03-22

LPTK commented on issue M-Labs/nac3#51

escape analysis

That 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…

2022-04-19 17:25:55 +08:00

LPTK opened issue M-Labs/nac3#144

Add optional types

2021-12-21 17:17:06 +08:00

LPTK commented on issue M-Labs/nac3#52

Objects with non-primitive fields

See related issue: https://git.m-labs.hk/M-Labs/nac3/issues/51

2021-12-21 16:47:26 +08:00

LPTK opened issue M-Labs/nac3#143

Sanity check for primitive operations type signatures

2021-12-21 16:44:27 +08:00

LPTK commented on issue M-Labs/nac3#52

Objects with non-primitive fields

I 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.…

2021-11-08 18:50:11 +08:00