【发布时间】:2020-05-20 13:34:19
【问题描述】:
我正在尝试使用 QuickCheck 为我的 Haskell 项目测试一些功能。我的目录目前如下所示:
|-cswk2
|-validCard.hs //THIS FILE CONTAINS MY HASKELL FUNCTIONS
|-tests
|-testSuite.hs //THIS FILE CONTAINS MY QUICKCHECK FUNCTIONS
在我的 Haskell 文件中,我有一些要测试的函数,看起来像这样......
validCard.hs:
module Cswk2 where
getCard :: Integer -> [Integer]
...
...而我的测试文件看起来像这样。
testSuite.hs:
import Test.QuickCheck
import Test.HUnit
import Cswk2
prop_numb :: [Integer] -> Bool
...
不幸的是,我不断收到一条错误消息,提示“无法加载 Cswk2 的接口”,我想知道这是否是我构建测试目录的方式有问题。我最初尝试使用 cabal 并按照用户手册设置测试套件,但这会导致比这更多的问题,让我更加困惑。我是 Haskell 的新手,所以如果有人能指出我到底做错了什么并建议我如何构建一个测试项目,那将不胜感激?
【问题讨论】:
-
您是如何准确构建这些文件的?我的意思是,分享您为构建而输入的确切命令。
-
@FyodorSoikin 运行测试我试图将 testSuit.hs 加载到 ghci 并在那里运行测试。不确定它是否正确,但这就是我之前使用 quickCheck 的方式
-
你能分享一下命令的确切顺序吗?
-
@FyodorSoikin
ghci testSuite.hs然后我打算运行quickCheck prop_numb
标签: haskell testing import project