Как загрузить пример в Djinn / UU / examples / Equality.hs?

Question

После cabal install Djinn, который использует QuickCheck, исполняемый файл находится в ./.cabal/bin/djinn.

, затем я копирую исполняемый файл в каталог Downloads/Djinn/UU/Examples/

хочу запустить пример Equality.hs затем djinn Equality.hs, не может проанализировать команду

, затем ./djinn, затем :load full path/UU/Examples/Equality.hs

return не может проанализировать команду

Answer 1

Как говорится в комментарии, это не имеет особого смысла. Насколько я знаю, Джинн не работает с исходными файлами на Haskell. Также Джинн, кажется, не использует quickcheck.