search

prl-julia / julia-type-stability

10 stars 0 forks source link

Some names in package don't get resolved #6

Closed ulysses4ever closed 3 years ago

ulysses4ever commented 3 years ago

Example: when analyzing JSON, we fail when trying to resolve lower.

At this point we bail out the same way as with #2: simply counting such cases.

ulysses4ever commented 3 years ago

The problem stems from a difference I hadn't realized that the module where a method is defined (the info I get from the MethodInstance interface) is not the same as the module where the function was introduced. It is relatively easy to get the latter, as shown in ea8c6bfcf8. Although some constructors (a special case of a function call) is still problematic. We decided to discard constructor calls in 7e36018f55.

[Discussion on Discourse]