rascal icon indicating copy to clipboard operation
rascal copied to clipboard

Typechecker bails out early on unresolvable import

Open rodinaarssen opened this issue 3 years ago • 0 comments

Describe the bug If an import cannot be resolved, this causes other (proper) imports to be unresolved as well.

To Reproduce Add an import for a non-existing module to any (valid) module.

Screenshots image

Additional context

  • VSCode

rodinaarssen avatar Jan 24 '22 11:01 rodinaarssen