테스트가 같은 작동하는지 테스트하는 테스트 코드를 사용하여 나는 목록을 취하는 간단한 함수에 대한 단위 테스트를 작성하기 위해 노력하고있어

Question

빈 목록을 소요하고 그냥 반환하는 함수,

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 [] 

다른 테스트를 얻을 빈리스트에게 주어진 때 예상 sts 잘 작동하고 ghcifunc [] 호출하여 수동으로 테스트 할 때 함수를 잘 작동합니다.

더미 유형을 작성하고 해당 유형의 요소를 가져 오는 목록을 작성한 경우 (올바르게 말하면 올바른 방법 일 경우) 테스트에 통과 한 것처럼 보이고 테스트 합격자 :

data Dummy = Dummy 
    deriving(Eq, Show) 

emptyList :: [Dummy] 
emptyList = [] 

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

왜인가요? 더미 타입 라우트를 다운시키지 않고 빈리스트를 가지고 함수를 테스트 할 수있는 방법이 있습니까?

Answer 1

글쎄, 오류가 무엇이 잘못되었는지 정확하게 알려줍니다. 읽어.

The type variable `a0' is ambiguous 

변수를 입력하십시오! GHC는 귀하가하지 않는 한 시험 할 때 어떤 유형을 사용할 지 알 수 없습니다.

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

확장 프로그램을 사용하도록 설정해야 할 수도 있습니다.

Answer 2

빈 목록의 유형을 제공해야합니다. 그렇지 않으면 GHC는 사용중인 목록의 종류를 알지 못합니다.

한 가지 가능한 수정 :

이

.... assertEqual "for (func [])," [] $ func ([] :: [Int])