Е
Так да, ругается.
Size: a a a
2020 July 24
Е
Но это как-то некошерно. Мой внутренний голос говорит, что это как-то неправильно
Е
В доках тоже появятся две функции с одинаковой арностью?
ŹR
Люди, что-то у меня не срастаются кложи функций с диалайзером.
Он по идее должен указать на ошибку во втором варианте:
Но он пишет, что все ок. Но если я удалю первый вариант и оставлю только второй, то диалайзер таки ругается.
ЧЯДНТ?
Он по идее должен указать на ошибку во втором варианте:
defmodule Foo do
@spec inc(a :: integer() | nil) :: integer() | nil
def inc(nil), do: nil
def inc(a), do: {a + 1, a + 2}
end
Но он пишет, что все ок. Но если я удалю первый вариант и оставлю только второй, то диалайзер таки ругается.
ЧЯДНТ?
Это баг диалайзера
ŹR
К эликсиру не имеет отношения
Е
Это баг диалайзера
Известный?
ŹR
Понятия не имею
Е
К эликсиру не имеет отношения
Ну я как бы о диалайзере и говорю. Самому эликсиру же пофиг на спеки, нет?
АТ
Пофиг
ŹR
Я просто в эрланге проверил - там не ругается
ŹR
А в эрланге две спеки нельзя напилить точно
Е
Ха, похоже это не бага
Е
Диалайзер не проверяет кложи, которые реально не вызываются из кода.
Е
Если добавить вызов сразу начинает:
defmodule Foo do
@spec foo(a :: integer()) :: integer()
def foo(a), do: inc(a)
@spec inc(a :: integer() | nil) :: integer() | nil
def inc(nil), do: nil
def inc(a), do: {a + 1, a + 2}
end
Е
вот так выдает ошибку
ŹR
Может быть, но это все равно баг
VK
если админка, api и база данных в одном приложении, а в другом первое как зависимость подключается + свой деплой и конфиг бд, это норм?
задача в том чтобы разбить проект на две части (основную и специфичную для отдельного заказчика) чтобы правки можно было вносить разным командам максимально независимо
задача в том чтобы разбить проект на две части (основную и специфичную для отдельного заказчика) чтобы правки можно было вносить разным командам максимально независимо
ŹR
Если я пишу либу с API, то я не узнаю про неправильные спеки - а только тот кто ей пользуется?
Е
Может быть, но это все равно баг
Впрочем, ты похоже прав, он выдает ошибку, но не в функции
inc, а в fooЕ
Если я пишу либу с API, то я не узнаю про неправильные спеки - а только тот кто ей пользуется?
И это тоже верно.