ユニットテスト：「[] |> List.emptyに等しくなければならない」を期待通りに動作しない

Question

I持って失敗したテストでは、次のコード：

open Xunit 
open FsUnit.Xunit 

let rec openOrSenior xs = 
    match xs with 
    | head :: tail when fst head >= 55 && snd head >= 7 -> "Senior" :: openOrSenior tail 
    | head :: tail -> "Open" :: openOrSenior tail 
    | [] -> [] 

[<Fact>] 
let ``empty input gives empty result``() = 
    openOrSenior [] |> should equal List.empty 

テストは、次のマッチングエラー

で失敗します

FsUnit.Xunit + MatchException： タイプの例外 'FsUnit.Xunit + MatchException'がスローされました。予想：[]
実際等しい：いくつかの空想の試合はbe FsUnit中だった[]

Answer 1

equalあったんは、単に恒等関数です。

|> should be Empty 

Answer 2

この答えは、この背後にある理由を明確にするだけです：あなたが使用している場合 Here is the link source

あなたのチェックは罰金になります。それはコメントのためには長すぎることが分かった。

これは型の不一致の状況です。 []と[]の2つの値は同じに見えますが、実際の値はstring listですが、期待値はobj listです。

Listが一般的なので、これは起こり、そしてshould equalは、「予測される」および「実際は」これで蹴りからの型推論を防止し、同じ型を持っている必要はありません。例えば、これはコンパイルされます。

5 |> should equal "abc" 

を

もちろん、実行時には失敗しますが、値が実際には等しくないことをうまく示しています。

しかし、あなたの値のいずれかが、戻り値の型では一般的なものであれば：

let a: int list = [] 
a |> should equal [] 

その後、型推論の欠如は、この値がタイプobjに終わるので、厳密に「等しい」話していないことを意味します異なる値を持つ他の値。