問題タブ [dialyzer]

erlang アプリケーションでダイアライザーを使用しようとしていますが、出力は次のとおりです。

playerdupli.erlと同じディレクトリに入れてみましparty2.erlたが、出力は同じです。exprecs.erldeps: にありdeps/parse_trans/srcます。

parse_transform を含め、コードはエラーなしでコンパイルおよび実行されます。私はMinGW（Windows 8 64）を使用しています。何か案が ？

ありがとう

私はいくつかのカスタム動作で Dialyzer を使用しています。問題は、それを行うと、Dialyzer が次のエラーを表示することです。

私が理解できないことの1つは、そのコールバック情報を作成する方法です。この情報を自分の行動に追加して、Dialyzer からより多くのテストを取得できるようにしたいと考えています。

apps/ にサブアプリケーションがあり、deps/ に依存関係がある erlang アプリケーションがあります。サブアプリの 1 つでダイアライザーを実行します。例:

動作しますが、deps のアプリケーションからのさまざまな機能を「不明な機能」としてリストします。

では、deps アプリケーションを plt に追加する必要がありますか、それとも作成者が独自のテストを行っていることを信頼する必要がありますか?

次のいずれかの合理的な議論を考えることができます。

• 下流のバグを見つけるかもしれません。
• 自分のコードを片付けるのに詰まるでしょう。

"-spec()" を渡すために Erlang Mixer ライブラリ ( https://github.com/opscode/mixer ) を拡張しようとしています。モジュールに追加する機能の行。しかし、erlc がコアの erlang コードに仕様をどのように配置するかについては不明です。

私は本当に単純な（テスト）モジュールから始めました：

そして、「erlc +debug_info -S mix1.erl」でコンパイルし、これを取得しました（module_info関数は削除されました）：

「-spec()」がどのように変換されているかを理解しようとしていますが、そこに表示されません。アイデアはありますか? 何が欠けていますか。ここでの最終的な目標は、これを解析変換に使用することです。

Erlang R15B でテストします。

Dialyzer は、(1) と (2) で「作成された楽しみにはローカル リターンがない」と不満を漏らします。

(1) を実行するには、次の更新で十分だと思いました。

しかし、Dialyzer により多くの型情報を伝えるには、別の方法が必要だと思います。

誰でもアドバイスできますか？前もって感謝します。

ロギングにラガーを使用しています。lager:warn/1などの関数を関数に変換するパーサー変換がありlager:trace...ます。

ダイアライザーはパーサー変換を処理しないため、 で警告しCall to missing or unexported function lager:warn/1ます。

この関数が存在することを警告せずにどのように伝えるのですか?

Erlang で同等の Java インターフェイスが必要です。-specJava で提供される機能にできるだけ近づけるために、ダイアライザーのコントラクトを提供するにはどうすればよいですか?

これと同等のものが欲しいとしましょう：