3

我正在尝试为简单函数编写一个单元测试，该函数接受一个列表并返回它，

func :: [a] -> [a]
func x = x

使用测试代码来测试它在给定一个空列表时是否按预期工作

emptyListTest :: Test
emptyListTest = TestCase $ assertEqual "for (func [])," [] $ func []

main :: IO Counts
main = runTestTT $ TestList [emptyListTest]

但是，我得到了错误

No instance for (Show a0) arising from a use of `assertEqual'
The type variable `a0' is ambiguous
Possible fix: add a type signature that fixes these type variable(s)
Note: there are several potential instances:
  instance Show Double -- Defined in `GHC.Float'
  instance Show Float -- Defined in `GHC.Float'
  instance (Integral a, Show a) => Show (GHC.Real.Ratio a)
    -- Defined in `GHC.Real'
  ...plus 28 others
In the expression: assertEqual "for (func [])," []
In the second argument of `($)', namely
  `assertEqual "for (func [])," [] $ func []'
In the expression:
  TestCase $ assertEqual "for (func [])," [] $ func []

其他具有非空列表的测试工作正常，并且在通过调用手动测试时该函数工作func []正常ghci。

我还注意到，如果我创建一个虚拟类型，并制作一个包含该类型元素的列表（如果这是正确的说法），那么将其传递给测试似乎有效，并且测试通过

data Dummy = Dummy
    deriving(Eq, Show)

emptyList :: [Dummy]
emptyList = []

emptyListTest :: Test
emptyListTest = TestCase $ assertEqual "for (func [])," [] $ func emptyList

为什么是这样？有没有办法在不走虚拟类型路线的情况下用空列表测试函数？

4

2 回答 2

4

好吧，该错误会告诉您确切的问题。阅读。

 The type variable `a0' is ambiguous

所以，输入你的变量！除非您知道，否则 GHC 不可能知道要使用哪种类型进行测试。

emptyListTest = TestCase $ assertEqual "for (func [])," [] $ func ([] :: [Int])

您可能必须启用扩展才能内联执行此操作。

于 2014-11-04T21:36:12.963 回答
1

您需要为空列表提供类型 - 否则 GHC 不知道您使用的是哪种列表。

一种可能的解决方法：

.... assertEqual "for (func [])," [] $ func ([] :: [Int])
于 2014-11-04T21:38:24.127 回答