AB
Может через when? foo(X) -> X when X :: tree_a() | tree_b()
Size: a a a
2019 October 18
AB
Я не проверял если что
AB
Ой.. :)
AB
Пока на телефоне набирал ты уже написал ;)
V
трабла просто в том, что
|это по идее union
PK
Вась, у меня есть подозрение, что ты слишком много хочешь от диалайзера😁
V
Петь нам диалайзер иной раз такие баги находит, что будь здоров.
AB
Ну два клауза тогда (X) -> X when X :: a(); (Y) -> Y when Y :: b() ? Может так прокатит
V
Я просто тут хочу завернуть одни типы в opaque поскольку у нас диалайзер взрывается ворнингами на 5 экранов для одной ошибки
V
И поэтому я не хочу чтобы были возможности конвертить из одного опака в другой, просто из-за неточной спеки
AB
Вроде в доке есть такой пример ' -spec foo({X, integer()}) -> X when X :: atom() ; ([Y]) -> Y when Y :: number().'
V
два клауза это отлично, когда у тебя два типа. Когда типов около 5, это уже не так весело
PK
У меня всегда была мысль, что для этого нужно написать что-то вроде -spec foo(A, ...) -> {ok, A}...
V
ну вот А надо специфицировать же =)
PK
Но диалайзер понимает это иначе. Была мысль, что можно его дописать, чтобы он умел так делать.
V
скорее всего.. просто если я правильно читаю - на уровне спек пока что OR кроме как клаузами не возможен =(
PK
Я даже начинал смотреть его код, ничего противоречащего там не увидел.
PK
Это твою проблему решит.
V
намекаешь что пора контрибьютить в dialyzer ?))) блин, вот куда-куда, а туда зарываться меньше всего хочется
PK
Зато польза какая будет)