宏代码转换的透析问题

问：

我正在尝试构建一个宏，将 Elixir 代码转换为某种“配置”以供以后使用，所以这段代码：

    build_config with one_and_two <- SomeModule.run("one", "two"),
                      _three_and_four <- SomeModule.run(one_and_two, "four"),
                      _six_and_five <- SomeModule.run("six", "five") do
      IO.puts(one_and_two)
    end

将被表示为

[
  {:one_and_two, SomeModule, :run, ["one", "two"]},
  {:_three_and_four, SomeModule, :run, [{:from, :one_and_two}, "four"]},
  {:_six_and_five, SomeModule, :run, ["six", "five"]}
]

这种方法的问题在于，当我运行时，它不会抱怨明显不好的类型，但是当我运行常规代码时，它确实会抱怨。mix dialyzer

例如，我在 SomeModule 中有以下代码：

defmodule SomeModule do
  @spec run(binary, atom) :: binary
  def run(arg1, arg2) do
    IO.puts("RUN FOR #{arg1} AND #{arg2}")
    arg1 <> Atom.to_string(arg2)
  end
end

让 Dialyzer 抱怨的常规代码是这样的：

one_and_two = SomeModule.run("one", "two")
SomeModule.run(one_and_two, "four")

我试图过度简化我构建的宏，但它仍然有点太复杂了：

  defmacro build_config({:with, _meta, args}, do: _block) do
    {lines, _variables_map} =
      Enum.map_reduce(args, MapSet.new(), fn arg, names ->
        {:<-, _,
         [
           {name, _, nil},
           {{:., _, [{:__aliases__, _, [_module]}, _function]} = call, meta, variables}
         ]} = arg

        names = MapSet.put(names, name)

        new_variables =
          Enum.map(variables, fn
            {variable_name, _, nil} = variable ->
              if variable_name in names do
                {:from, variable_name}
              else
                variable
              end

            other ->
              other
          end)

        {module, function, params} = Macro.decompose_call({call, meta, new_variables})

        line =
          quote do
            {unquote(name), unquote(module), unquote(function), unquote(params)}
          end

        {line, names}
      end)

    lines
  end

Github 上的存储库包含示例代码：https://github.com/denispeplin/config_generator

我的问题不是关于宏本身，而是关于整个方法：如果宏输出的东西不是可执行的“代码”，而是某种“配置”，它本身不调用任何东西，Dialyzer应该抱怨类型错误吗？

有什么方法可以实现我想要的：从代码生成配置并让 Dialyzer 同时工作？