rascal icon indicating copy to clipboard operation
rascal copied to clipboard

Published 20 hours ago • verified publisher icon usethesource

Typechecker bails out early if module name doesn't match file location

Open rodinaarssen opened this issue 3 years ago • 0 comments

Describe the bug The typechecker does not resolve any imports if the declared module name does not match the file location. Local use/def does function normally. Possibly related to #1570

Screenshots image

Additional context

  • VSCode

rodinaarssen avatar Jan 24 '22 11:01 rodinaarssen