ModuleNameMismatch之谜

Question

在输入时使用命令行中的rascal：

import demo::hello

尽管当前目录（我在其中键入ModuleNameMismatch的目录）包含一个名为java -jar rascal-shell-stable.jar的子目录，但其中包含文件demo，但我收到hello.rsc错误：

module hello
import IO;
void hello(){
    println("Hello word");
}

但是在我键入时可以使用

import hello

并且hello.rsc在当前目录中。

有关您的信息：我在Windows 10上。

Answer 1

模块名称必须是module.rsc文件的完整