ocaml - Using qtest and quickcheck, fail to compile the test code -


मेरे ओकमल सेटिंग निम्न है:

  • ओकमल 4.01.0
  • < Li> ओफ़ाम 1.1.2
  • qtest 2.0.1 (ओपैम सूची qtest)
  • त्वरित जाँच 1.0.0

परीक्षण के साथ स्रोत कोड inlined :

<पूर्व> आरईसी एफू x0 एफ = समारोह [] - & gt; 0 | X :: xs - & gt; F x (foo x0 f xs) ;; (* $ T foo foo 0 (+) [1; 2] = 3 *)

qtest -o footest2.ml निकालने foo.ml

तब दुर्भाग्य से, Footest2.ml को संकलित करने में असफल रहता है:

कोर बिल्डिल्ड पॉवरस्ट 2। एनएटी -पीकेजी त्वरित चेक

  चलो ___ परीक्षण = रेफरी [] चलिए ___add परीक्षण = ___ परीक्षण: = परीक्षा ::! ___ परीक्षण खुला OUnit ;; मॉड्यूल Q = Quickcheck ;; let (== & gt;) = क्यू। (== & gt;) ;; Random.self_init () मॉड्यूल Test__environment_0 = struct open Foo ;; Let_test_2 = "foo" & gt; ::: ["foo.ml:6" & gt; :: (6) "foo.ml" फ़ू = फ़ू मज़े () - & gt; OUnit.assert_bool "foo.ml: 6: एफू 0 (+) [1; 2] = 3 "(# 6" फू। एमएल "एफयू 0 (+) [1; 2] = 3)); ] ;; चलो _ = ___add _test_2 ;; अंत त्रुटि: = "त्रुटि: अनबाउंड मॉड्यूल Quickcheck"        

वास्तव में, यह QuickCheck के बजाय QuickCheck होना चाहिए - यह तय करने के बाद, मुझे त्रुटि मिली: त्रुटि: अनबाउंड मान Q ==>। हटाने के बाद:

दें (==>) = प्रश्न। (==>) ;;

संकलन बाद में विफल रहता है: त्रुटि: अनबाउंड मॉड्यूल धावक।

लेकिन "रनर" नामक कोई मॉड्यूल नहीं है ...

यह काम करने के लिए कोई भी विचार?

Comments

Popular posts from this blog

winforms - C# Form - Property Change -

javascript - amcharts makechart not working -

java - Algorithm negotiation fail SSH in Jenkins -