2013-10-29 11 views
6

मैं अपनी फ़ाइल के शीर्ष पर QuickCheck का आयात कर रहा हूँ पर नहीं मिल सका मॉड्यूल `Test.QuickCheck ':उबंटू

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. 

:

import Test.QuickCheck 
... 

ghc Lab1.hs साथ फ़ाइल संकलन मुझे इस त्रुटि देता है मैंने quickcheck के लिए एक एपीटी-कैश खोज की कोशिश की और पैकेजों की एक सख्त सूची मिली। libghc-test-framework-dev इंस्टॉल करने का प्रयास किया क्योंकि मैंने सोचा था कि नाम उचित लग रहा था, लेकिन त्रुटि बनी हुई है।

मैं क्विक चेक मॉड्यूल कैसे स्थापित करूं?

+1

जानने डेबियन के नामकरण योजना, मुझे लगता है होगा 'libghc-QuickCheck- देव', लेकिन मेरे पास ऐसी मशीन नहीं है जो जांचने के लिए आसान है। –

+1

डेबियन की मानव-संचालित आरपीसी योजना (वेबसाइट) को जानना, मुझे ['libghc-quickcheck2-dev'] (http://packages.debian.org/wheezy/libghc-quickcheck2-dev) मिला है, लेकिन मेरे पास नहीं है ऐसी मशीन को स्थापित करने के लिए आसान है। –

उत्तर

15

यदि आप अपने पैकेज प्रबंधक के बाहर अपने हास्केल पैकेज को प्रबंधित करने में रुचि रखते हैं (यदि आप चीजों के नवीनतम संस्करणों का उपयोग करने में रुचि रखते हैं तो फायदेमंद हो सकता है) तो कैबल हास्केल पैकेज मैनेजर है जो आपको करने की अनुमति देगा

apt-get install cabal-install 
cabal update 
cabal install QuickCheck 

QuickCheck दुनिया में उपलब्ध कराना।

कैबल की sandbox सुविधा का उपयोग करने के लिए देर से अधिक अनुशंसा की जाती है। यह पाइथन के virtualenv या रूबी के bundle के समान ही है यदि आप उनसे अधिक परिचित हैं। ऐसा करने के लिए, आप एक "cabalized" परियोजना

cabal init  # in an empty directory 

बनाने और उसके बाद उत्पन्न <folder name>.cabal फ़ाइल के build-depends: स्लॉट में QuickCheck (और अपने अन्य पुस्तकालय निर्भरता) करना होगा।

ऐसा करने के बाद आप सभी आगे पैकेज प्रबंधन और संकलन आदेशों के लिए कैबल का उपयोग करते हैं।

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 
+0

मैंने किया: 'sudo apt-get cabal-install' और 'कैबल अपडेट' इंस्टॉल करें और फिर ऊपर के रूप में 'कैबल इंस्टॉल क्विक चेक' के साथ आगे बढ़ सकते हैं। मेरे मामले में सैंडबॉक्स चीज उचित नहीं थी, लेकिन यह आगे बढ़ने में आसान हो सकती है। धन्यवाद! – Arild

+1

कूल, मुझे खुशी है कि यह अच्छी तरह से काम किया! अगर आपको कोई फर्क नहीं पड़ता है तो मैं उन चरणों को भविष्य के आगंतुकों के उत्तर में जोड़ दूंगा। –

1

उबंटू 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> 
+0

यह काम नहीं करता है ... – alinsoar

+0

अभी इसे एक उबंटू पर फिर से कोशिश की: 14.04 डॉकर छवि 'डॉकर रन-आई-टी - आरएम उबंटू: 14.04' के साथ, और यह अभी भी काम करने लगती है। सुनिश्चित नहीं है कि किसी टिप्पणी में कोड कैसे प्रारूपित किया जाए, लेकिन चरण थे: 'apt-get अद्यतन; apt-get libghc-quickcheck2-dev स्थापित करें; ghci' के बाद ': m + test.QuickCheck' –

+0

मैं कैबल का उपयोग करके त्वरित जांच स्थापित करने और उपयोग करने में कामयाब रहा। प्रारंभ में, केवल apt-get का उपयोग करना असंभव था। वैसे भी, यह अब मेरे लिए काम करता है। – alinsoar