問題タブ [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.

101 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
1 に答える
83 参照

elixir - Dialyxir エラー order_by が Ecto.Query.t を返さない

私はこの方法を持っています

次に、そのメソッドをクエリでチェーンします。

コードは正しく動作しますが、次のように文句を言うため、 fordialyzer order_byが a を返していないようです:Ecto.Query.t

呼び出し 'modify_query'... には型 atom() の項がありません | 第 1 引数として 'Elixir.Ecto.Query':t() (不透明なサブタームを含む)

コメントアウトして# |> order_by([desc: :start])もdialyzer文句は言わない

次の出力を iex でテストしました。

データ型は Ecto.Query であると書かれています:

では、ダイアライザーはどのように文句を言うのでしょうか??

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

elixir - Arc.Ecto.changeset のタイプスペック

Arc.Ecto のchangeset例https://github.com/stavro/arc_ecto をコピーしていますが、タイプスペックについてはよくわかりません。これらを試していますが、ダイアライザーでは機能しないようです。|> cast_attachments(params, [:avatar])

cast_attachments はマクロなので、マクロの typespec を定義する方法がわかりません。ソース コードには仕様が定義されていないためですhttps://github.com/stavro/arc_ecto/blob/master/lib/arc_ecto/schema.ex


12345678910