"failwith"はもう許可されていませんか？

Question

私はmain/mail.mlで仕上げ、私のmakefileで定義されてコンパイルする.mlのリストを持っています。

私はこれらのファイルの一部の機能のボディなど、いくつかのfailwith "to do"を持っています。以前は、実行時の実行にその関数が必要な場合にのみエラーが発生することを覚えています。

今日はすべて私の.mlのコンパイルが正常に動作します：.cmi、cmxおよび.oがすべて生成されています。しかし、メインのバイナリを起動すると、最初にlet()がmain.mlになっているようではなく、リスト.mlのすべてのファイルがmakefileにあり、最初にfaiwith "to do"になるとFatal error: exception Failure("to do") make: *** [all] Error 2になります。

私は誰もがその理由であるかもしれないものを私に言うことができる、非常に奇妙なこの動作を見つけますか？私のmakefileまたはmain.mlで間違った何かがあるのでしょうか？

Answer 1

failwithはまだ許可されています！しかし、時にはこれも私に起こります。

通常問題ではなく、機能値が失敗することを、あなたはfailwithが、実際にはモジュールの初期化中に実行されることを意味し、非機能値が失敗することを行っています。だから、どこかで、あなたのコード内であなたが書いたと思われる：failwithは、モジュールの初期化代わりの時に実行されます

let f = failwith "TODO" 

：機能fが実際に呼び出されたときfailwithが実行されます

let f x = failwith "TODO" 

引数。