2011-10-30 7 views
2

QuickCheck를 사용하는 cabal install Djinn 이후에 실행 파일은 ./.cabal/bin/djinn입니다.Djinn/UU/Examples/Equality.hs에서 예제를로드하는 방법은 무엇입니까?

는 내가 명령을 다음 :load full path/UU/Examples/Equality.hs

반환 구문 분석 할 수 없습니다 다음 ./djinn

명령을

+3

'Equality.hs'에 무엇이 있습니까? [djinn의 소스 저장소] (http://www.augustsson.net/Darcs/Djinn/)에서 찾을 수 없습니다. 또한'djinn'은 하스켈 소스에서 작동하지 않아도 될까요? –

답변

1

로를 구문 분석 할 수 없습니다, Downloads/Djinn/UU/Examples/

예를 Equality.hs 다음 djinn Equality.hs을 실행하려는 디렉토리에 실행 파일을 복사 의견에 따르면, 이것은별로 의미가 없다. Djinn은 내가 아는 한 하스켈 소스 파일에서 작동하지 않습니다. 또한 Djinn은 quickcheck을 사용하지 않는 것으로 보입니다.