アクティブパターンのユニオンケースには常にワイルドカードが必要ですか？

Question

アクティブパターンのユニオンケースには常にワイルドカードが必要ですか？

警告：

不完全なパターンは、この式に一致します。

let (|Positive|Neutral|Negative|) = function 
    | x when x > 0 -> Positive 
    | x when x = 0 -> Neutral 
    | x when x < 0 -> Negative 

私は組合のケースとしてワイルドカードを挿入すると警告が解決されます。私は他の

let (|Positive|Neutral|Negative|) = function 
    | x when x > 0 -> Positive 
    | x when x = 0 -> Neutral 
    | x when x < 0 -> Negative 
    | _   -> failwith "unknown" 

何例をしないのですか？

Answer 1

when（一般的に）ガードはコンパイラによってチェックできません。あなたはケースを欠落していないとして、この特定のケースでは、しかし、ちょうど最後のガードを除外：

let (|Positive|Neutral|Negative|) = function 
    | x when x > 0 -> Positive 
    | x when x < 0 -> Negative 
    | _ -> Neutral 

注：intため、これはOKで、float sがいくつかのケース（NaNと無限大）より必要コンパイラはそこであなたを助けません（あなたが今発見したように）。