After cabal install Djinn
which is using QuickCheck, the executable file is in ./.cabal/bin/djinn
.
then I copy the executable to the directory Downloads/Djinn/UU/Examples/
want to run example Equality.hs
then djinn Equality.hs
, can not parse command
then ./djinn
then :load full path/UU/Examples/Equality.hs
return cannot parse command
As the comment says, this doesn't make much sense. Djinn doesn't work on Haskell source files as far as I know. Also Djinn doesn't appear to use quickcheck.