jakt icon indicating copy to clipboard operation
jakt copied to clipboard

typechecker+tests: Use the most specific known scope id for unknown namespaces

Open cg-jl opened this issue 2 years ago • 0 comments

unwrapping isn't an option if one of the namespaces in the access chain isn't found. Since checked_namespaces is emmited even when the namespace wasn't found (so that typecheck/IDE can continue knowing there was a namespace access), using the last scope id from the last known namespace when the next one wasn't found.

Fixes #560.

cg-jl avatar Jun 10 '22 08:06 cg-jl