Debug.Assert()
で、アサートすることができる。
第一引数が偽の時に、第二引数の文字列を出力して、プログラムは停止する。
スクリプトでは使えないようだ。
open System.Diagnostics [<EntryPoint>] let main argv = let x = -1 Debug.Assert(x >= 0, "negate!") 0 // => "negate!"を出力して停止する
x
の値も出力したいとしよう。
しかしprintfn()
のように直接%d
とかは使えない。
こんな時は、sprintf()
を使おう。
open System.Diagnostics [<EntryPoint>] let main argv = let x = -1 Debug.Assert(x >= 0, (sprintf "negate! %d" x)) 0 // => "negate! -1"を出力して停止する