7.5 表明の検査

(OCaml 1.06 〜)

Objective Caml にはデバッグ用の表明を検査するための assert 構文があります。式 assert expr は式 expr を評価し、それが true に評価された場合 () を返します。それ以外の場合には、式の場所とソースファイルの名前を引数として Assert_failure 例外を発生させます。表明の検査は -noassert オプションで無効にすることができます。

特別な場合として、 assert falseraise (Assert_failure ...) に簡約されます。この式は多相的です(また -noassert オプションで無効化されません)。