在使用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无法解析命令
发布于 2013-02-07 23:17:51
正如评论所说,这没有多大意义。据我所知,Djinn不能处理Haskell源文件。此外,Djinn似乎没有使用quickcheck。
https://stackoverflow.com/questions/7943948
复制相似问题