SML打压有意非排他性的模式匹配警告

datatype location = Safe of string | Dangerous of string * int;

而在这个假设的例子中，我想写的是仅会传递一个Safe str，从来没有一个Dangerous(str, num)功能：

fun send_kids (Safe address) = ...

有什么办法可以压制警告吗？告诉SML我知道这是非穷举的？

stdIn:1.6-1.29 Warning: match nonexhaustive 
      Safe s => ...

2013-03-15 AJcodez

不是直接。你通过使用一个失败案例来详细说明SML：

fun sendKinds (Safe address) = ... 
    | sendKinds _ = raise Fail "sendKinds"

2013-03-16 06:53:05

回答