ModuleNameMismatch mystery

Question

Используя негодяй из командной строки, когда я набираю:

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.

В этом случае файл hello.rsc должен быть:

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

Это причина, почему она работает, когда hello.rsc в текущем каталоге.