問題タブ [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.
graphql - Absinthe (GraphQL) ルートの「forward」コマンドからの「but this value is unmatched」に関するダイアライザー (Dialyxir 経由) の警告。対処方法は?
適切に対処する方法がわからない不一致の戻り値に関するダイアライザー エラーが発生しています。
私mix.exs
はこのように見えます:
私router.ex
はこのように見えます:
トリックを試しました_ =
が、うまくいかないようです。比類のないリターンを使用すると役立つと思いますが、この場合はおそらくそうではありません. このページ ( https://github.com/jeremyjh/dialyxir/wiki/Phoenix-Dialyxir-Quickstart ) を読みましたが、この問題の解決には役立たなかったと思います。
フィードバックや方向性は大歓迎です。
ありがとうございました
erlang - PLT は何の略ですか?
私は、大きな Elixir コード ベースで Dialyzer (および Dialyxir) を使用してきました。実行すると、診断情報が大量に出力されます。.plt
ファイルを頻繁に参照します。Erlang と Dialyzer のコンテキストで "PLT" は何を表していますか?