rascal
rascal copied to clipboard
Qualified type names not recognized at import time in tuple types
When using a qualified module name (when its in a subfolder) in a tuple type, and the module does exist, the type checker does not complain, but at import time the following error occurs:
import Bug2;
[WARNING] |prompt:///|(0,12,<1,0>,<1,12>): Could not load Bug2 due to: Undeclared module: bug::Bug1
Advice: |https://www.rascal-mpl.org/docs/Rascal/Errors/CompileTimeErrors/UndeclaredModule| at |file:///.../src/Bug2.rsc|(61,14,<6,18>,<6,32>)
|file:///.../src/Bug2.rsc|(61,14,<6,18>,<6,32>): Undeclared module: bug::Bug1
Advice: |https://www.rascal-mpl.org/docs/Rascal/Errors/CompileTimeErrors/UndeclaredModule|
ok
Reproduce:
module bug::Bug1
syntax Foo = "foo";
module Bug2
import bug::Bug1;
import IO;
alias Bar = tuple[bug::Bug1::Foo foo];