1

次のようなデータ型があるとします。

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

Safe strそして、この架空の例では、 a のみが渡され、 aは決して渡されない関数を書きたいと思いますDangerous(str, num)。

fun send_kids (Safe address) = ...

警告を抑制する方法はありますか? SML に、これが網羅的でないことを知っていると伝えますか?

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

1 に答える 1

2

直接ではありません。SML を失敗のケースで網羅的にすることで、SML に「伝えます」:

fun sendKinds (Safe address) = ...
  | sendKinds _ = raise Fail "sendKinds"
于 2013-03-16T06:53:05.307 に答える