Загрузите модуль GHCi по имени модуля, если имя модуля не совпадает с именем файла

Question

Пусть я даюсь исходный файл с именем MyModule.hs и внутри него декларация модуля module My.Module where ... (примечание: неmodule MyModule where ...).

Мне не разрешено изменять этот исходный файл или изменять структуру каталогов, в которой находится файл.

От чтения some docs about importing modules in GHCi, похоже, есть способы импортировать по имени файла (например, либо import или :load), но не любые способы, чтобы указать имя модуля, который будет произведен поиск во всех файлах локального каталога ,

Есть ли способ импортировать My.Module в GHCi, не делая его, указав имя файла (только имя модуля) и без его установки (например, не строить его с cabal, просто быстро бросил его в GHCi по имени модуля)?

Answer 1

Вы не можете, где имя содержит точку, согласно documentation

Для каждого из этих каталогов, он пытается добавления basename.extension в каталог, и проверяет, существует ли файл. Значение является базовое имя имя модуля с точками заменены на разделителя каталогов («/» или «\», в зависимости от системы), а также расширение является расширением источника (ГВ, LHS) ...

ключевая часть является

значения базового имени является имя модуля с точками заменяется разделителем каталогов («/» или «\», в зависимости от системы)

Так ваше имя модуля в My.Module будет найден как My/Module.hs. Вы должны были бы иметь структуру каталогов, как

project/ 
    My/ 
     Module.hs 
    project.cabal 

И из папки project можно запустить

$ cabal repl 
GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help 
Loading package ghc-prim ... linking ... done. 
Loading package integer-gmp ... linking ... done. 
Loading package base ... linking ... done. 
> import My.Module 

Вы можете это сделать, если ваш файл называется MyModule.hs и ваше имя модуля MyModule, но это просто особый случай правила выше.

Есть веские причины для этого, а именно, что он обеспечивает структуру, упрощающую структуру вашего проекта и алгоритм поиска GHC. Если это правило не было на месте, что бы остановить меня от

project/ 
    MyModule1.hs 
    MyModule2.hs 

где оба .hs файлы имели декларацию модуля My.Module? Какой из них будет правильным загрузить в GHCi, если я запустил import My.Module? Указав, что такое имя файла и путь, вы сразу же знаете, что модуль X.Y.Z.W.Q.R.S.T находится по пути X/Y/Z/W/Q/R/S/T.hs, не требуется поиск. Это уменьшает много неопределенности, которая может возникнуть с более слабыми спецификациями имени модуля.