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