rascal icon indicating copy to clipboard operation
rascal copied to clipboard

Qualified type names not recognized at import time in tuple types

Open tvdstorm opened this issue 10 months ago • 0 comments

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];

tvdstorm avatar Dec 06 '24 14:12 tvdstorm