как узнать его версию? я его отдельно не ставил, он пославился вместе с elixir-ls

А хрен его знает :) я через диаликсир гоняю, диаликсир 1.0.0

Ты серьезно? То есть спеку ты поменял, а функцию нет?

Внутри inc поменяй nil на error и посмотри

ах, лол, я и не заметил :)))))

думал человек просто скопипастит :)

Версию они проверяют, анекдот просто...

ну мало ли, вдруг поправили в последней :)

да, ступил, так пропадает warning

хреново

И да, nil он не предполагает и его нужно писать.

на сколько правильно в экто использовать prepare_changes чтобы обновить данные руками? Ситуация следующая: есть вопрос, у него есть ответы, кто-то пытается удалить вопрос. Хз почему, но экто не видит, что ответы на него тоже пропали и пытается напрямую дропнуть вопрос, ключ в бд это сделать не даёт. Насколько правильно в prepare_changes руками пройтись по изменениям и сделать всё, что нужно? Может для этого есть какой-то ещё вариант?

В базе данных надо делать on_delete: cascade в таких случаях

  @spec inc(nil) :: nil
  def inc(nil), do: nil
 @spec inc(integer()) :: integer()
 def inc(a), do: {a + 1, a + 2}

Так нельзя :/

так нельзя, если юзер отвечал на опрос, то удалять эти ответы нельзя

поэтому единственный вариант deleted: true

но вычислять дифы руками очень не хочется

Я не понимаю

извиняюсь за невнимательность, надеюсь в этот раз я нигде не накосячил)

получилось, когда попробовал флаг -Woverspecs у dializer - http://erlang.org/doc/man/dialyzer.html

defmodule Foo do
  @spec inc(a :: integer() | :error) :: integer() | :error
  def inc(:error), do: :error
  def inc(a), do: {a + 1, a + 2}
end

The success typing for 'Elixir.Foo':inc/1 implies that the function might also return 
          {number(), number()} but the specification return is 
          'error' | integer()ElixirLS Dialyzer

и еще вот здесь объяснение похожей истории (последний ответ) - https://stackoverflow.com/questions/49091334/dialyzer-misses-error-with-type-specification

First a short answer, using Dialyzer's maxims:

   Dialyzer is never wrong. (recited very often by Erlang programmers)
   Dialyzer never promised to find all errors in your code. (not so famous)

Maxim number 2 is the (admittedly not very satisfying) "standard" answer to any "Why Dialyzer didn't catch this error" question.