Dialyxir 错误 order_by 不返回 Ecto.Query.t

Question

>我有这个方法

@spec modify_query(Ecto.Query.t) :: Ecto.Query.t
def modify_query(query) do
# modifies a Ecto.Query.t
end

然后我用查询链接该方法：

Item
|> where([active: true])
|> order_by([desc: :start])
|> modify_query

代码工作正常，但显然对于dialyzerorder_by来说没有返回Ecto.Query.t，因为它抱怨：

呼叫"modify_query"...没有 atom() 类型的术语 | 'Elixir.Ecto.Query'：t()(带有不透明的子项)作为第一个参数

如果我# |> order_by([desc: :start])注释掉，那么dialyzer不会抱怨

我已经通过 iex 测试了以下输出：

Item
|> where([active: true])
|> order_by([desc: :start])

它说它的数据类型是Ecto.Query：

Term                                                                         
#Ecto.Query<from r in Item, where: r.active == true, order_by: [desc: r.start]>
Data type                                                                    
Ecto.Query

那么透析器怎么能抱怨呢？

Answer 1

更多信息请点击此处 https://elixirforum.com/t/dialyxir-error-when-using-ecto-query-t-as-function-argument/7491

基本上，order_by是宏观的，透析液抱怨是不透明的类型。

我认为它在最新版本的 Ecto 中已修复，但如果您在旧版本的 Ecto 中遇到此问题，您可以通过交换调用来修复它：

Item
|> order_by([desc: :start])
|> where([active: true])