[英]How to efficiently generate random tests in Haskell Test.QuickCheck
[英]Could not find module `Test.QuickCheck' on Ubuntu
我在我的文件頂部導入QuickCheck:
import Test.QuickCheck
...
用ghc Lab1.hs
編譯文件給了我這個錯誤:
Lab1.hs:1:8:
Could not find module `Test.QuickCheck'
Use -v to see a list of the files searched for.
Failed, modules loaded: none.
我嘗試使用apt-cache搜索quickcheck
並得到一個可怕的包列表。 嘗試安裝libghc-test-framework-dev
只是因為我覺得這個名字似乎合適,但是錯誤仍然存在。
如何安裝QuickCheck模塊?
如果您有興趣在包管理器之外管理Haskell包(如果您對使用最新版本的東西感興趣可能會有所幫助)那么Cabal是Haskell包管理器,可以讓您做
apt-get install cabal-install
cabal update
cabal install QuickCheck
使QuickCheck在全球范圍內可用。
然而,最近推薦的是使用Cabal的sandbox
功能。 這非常類似於Python的virtualenv
或Ruby的bundle
如果你更熟悉那些。 為此,您必須創建一個“cabalized”項目
cabal init # in an empty directory
然后將QuickCheck
(和您的其他庫依賴項)放在生成的<folder name>.cabal
文件的build-depends:
slot中。
完成此操作后,您可以使用Cabal進行所有進一步的包管理和編譯命令。
cabal sandbox init # creates your local package sandbox
cabal install --only-dependencies # gets and installs all the build-dependencies
cabal repl # starts up GHCi in the local sandbox
cabal build # configures and builds the local project
cabal sandbox delete # cleans up the sandbox
在Ubuntu 14.04.1中:
sudo apt-get install libghc-quickcheck2-dev
之前:
> :m +Test.QuickCheck
<no location info>:
Could not find module `Test.QuickCheck'
It is not a module in the current program, or in any known package.
后:
Prelude> :m +Test.QuickCheck
Prelude Test.QuickCheck>
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.