LL
Смотря как её использовать
Size: a a a
2021 April 17
М
Неа, особой связи не заметил
VS
Попробуйте добавить
чтобы не иметь сомнений.
when is_integer на вторую ветку,чтобы не иметь сомнений.
P
А что в спеках
foo ?AI
Вероятно, его анализ по веткам кода foo показал, что они все неуспешны, кроме той, к-рая возвращает nil. Например, возвращает не тип, объявленный в спеке, а что-то другое.
AI
Попробуйте -Wunderspecs.
Е
Я упростил немного пример. Нашел блядскую ошибку. Диалайзер как обычно пишет говно, вместо реальной ошибки.
Е
короче в реальности foo возвращает либо мапу, либо nil
Е
причем мапу с обязательными ключами прописанными в спеке
Е
один ключ забыли впихнуть в мапу. И диалайзер вместо того чтобы ругаться на
foo, типа у вас тут ключ должен быть в мапе, а по факту его нет, гнал полную фигню насчет гарантированного nilЕ
Причем раньше не ругался тоже. А тут на тебе
Е
Ща попробую даже тесткейс накидать
Е
Короче, вот коротенький пример:
@spec foo(integer() | nil) :: %{a: integer(), b: integer()} | nil
def foo(nil), do: nil
def foo(a), do: %{a: a}
def bar(a) do
case foo(a) do
nil -> :error
_ -> :ok
end
endЕ
И эта сволочь не пишет, что спека
foo не совпадает с реальным результатомЕ
А пишет бред:
The pattern
:variable_
can never match, because previous clauses completely cover the type
nil.
Е
Как одно следует из другого я хз
VS
Спека совпадает, чтобы не совпадала надо required (:b) =>,
так как матчинг никак не специфицирован, то он предупреждает, что ветки перекрываются
так как матчинг никак не специфицирован, то он предупреждает, что ветки перекрываются
AI
диалайзер предполагает, что когда твоя функция возвращает что-то, что у неё не указано в спеке, то это error path и учитываться не должно
AI
через -Wunderspecs можно это поведение изменить, и он будет ругаться на foo
Е
ЕМНИП синтаксис
%{b: type} эквивалентен %{required(:b) => type}