問題タブ [dialyzer]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票する
1 に答える
443 参照

erlang - 見つからないかエクスポートされていない関数 gen_server:call/4 へのダイアライザー エラー呼び出し

私はdialyzerを使用してerlangコードの警告を修正しています.missing or unexported function を読み取るこの間違いに遭遇しましたgen_server:call/4.

私はこの缶の何が問題なのか理解できません。誰かが間違いを教えてください私はErlangを始めたばかりです。簡単に説明していただければ幸いです

0 投票する
0 に答える
87 参照

erlang - elixirコードにdialyxirを使用せずに、Dialyzer GUIまたはdialyzerコマンドラインツールを直接使用できますか?

私は elixir プロジェクトを持っています。このプロジェクトを実行するmix dialyzerと (dialyxir を呼び出します)、非常に小さなエラーの断片が表示され、そのソースを追跡することが非常に困難になります。dialyzer では、dialyxir では利用できないと思われるいくつかの追加のフォーマット オプションが利用可能です (--format raw など)。Elixir プロジェクトでダイアライザーを直接呼び出すにはどうすればよいですか?