在使用QuickCheck的cabal install Djinn
之后,可执行文件位于./.cabal/bin/djinn
。
然后我将可执行文件复制到目录Downloads/Djinn/UU/Examples/
想要运行示例Equality.hs
然后djinn Equality.hs
,无法解析命令
然后./djinn
然后:load full path/UU/Examples/Equality.hs
return无法解析命令
答案 0 :(得分:1)
正如评论所说,这没有多大意义。据我所知,Djinn不适用于Haskell源文件。 Djinn似乎也没有使用quickcheck。