AV
надо в каждую ошибку типа текст мануала включать просто - вон советовали же
Кстати ссылки на мануал в ошибках очень бы зашли
Size: a a a
2020 May 11
AV
Ссылка на мануал и ссылка на explanation
AV
Чтобы объяснения в мануал не добавлять
MP
сообщить, что нету оверлэпа между типами, которые выводятся из then и else и какие они там вполне можно
AA
ссылки-то конечно
AA
сообщить, что нету оверлэпа между типами, которые выводятся из then и else и какие они там вполне можно
так есть же
AA
потому нельзя
AA
если компилятор не видит инстанса, этож не значит что он никогда не появится, компиляция-то раздельная
MP
уфф
AA
че уфф-то?
MP
че уфф-то?
у меня не хватает компетенции че-то утверждать, там Все Сложно как-то
AA
ну вот он вывел тип (Foo a, Bar a) => a -> a
он не видит никаких дефолтных типов у которых и инстанс Foo и Bar есть одновременно
это ошибка или это нормально?
дефолты где-то для полутора типов есть
он не видит никаких дефолтных типов у которых и инстанс Foo и Bar есть одновременно
это ошибка или это нормально?
дефолты где-то для полутора типов есть
AV
Как добавить HasCallStack и при этом не писать сингатуру типа?
AV
А то у меня код, в котором это единственная сингатура или аннотация типа
AV
Хотелось бы и это убрать и сказать, что haskell это динамический ЯП!
AA
HasCallStack => _ не сработает?
AV
report.hs:78:1: error:
• Could not deduce (Monad m)
from the context: HasCallStack
bound by the inferred type for ‘throwLeft’:
forall (m :: * -> *) a b. HasCallStack => m (Either a b) -> m b
• Could not deduce (Monad m)
from the context: HasCallStack
bound by the inferred type for ‘throwLeft’:
forall (m :: * -> *) a b. HasCallStack => m (Either a b) -> m b
AV
Видимо придётся писать forall m . Monad m => HasCallStack => _
AA
не, просто написать что помимо кослтекового констрейнта еще другие есть
R
Как добавить HasCallStack и при этом не писать сингатуру типа?
если добавить функцию
hasCallStack :: HasCallStack => (HasCallStack => r) -> r и использовать ее, не прокатит?