Пофиксили в unstable

угу

Ну и нафига? :)

Это был первый вопрос, который я задал

Себе?

У меня каталина на всех железках

Зато минут через 15 у нас будет ветка, которая работает и на bigsur. Правда там останется разобраться с тем, что почему-то установка cassava c нашего форка падает с infinite recursion at unknown location

А подлый hvr так и не посмотрел PR

новые ботиночки на новый сезон

Ну я вообще не вижу смысла обновляться раньше чем за месяц если нужны девелоперские вещи, а если nix то и то дольше

Ну если не хочешь решать проблемы сам

type family DeepSeq (x :: a) = (r :: a) | r -> x where
    DeepSeq (f x) = DeepSeq f (DeepSeq x)
    DeepSeq x     = x

выдает мне

    • Type family equation violates injectivity annotation.
      Type variable ‘x’ cannot be inferred from the right-hand side.
      In the type family equation:
        forall a1 a2 (f :: a1 -> a2) (x :: a1).
          DeepSeq (f x) = DeepSeq f (DeepSeq x)

так и надо?

https://hspec.github.io/

Ребята, расскажите пожалуйста про опыт использования HSpec, среди тех, кто использовал данный тест-фреймворк:

1. писали ли вы с ним интеграционные/приемочные тесты? если да, то насколько удобно лично Вам? в сравнении с др. стэками

2. есть ли какие-нибудь инструменты/доп. либы к HSpec, которые могут помочь с mock-объектами (иммитацией), принципиальный вопрос - несыммитировать самому на коленках в отдельном *.hs модуле, а более готовая либа с подключаемыми интерфейсами для обеспечания слабой связности компонентов?

3. есть ли которые могут генерировать репорты о % успешных тестов, чтобы условно потом публиковать на какой-нибудь QA-портал в рамках CI pipeline?

PS: вопросы носят практический характер. Интересно мнение тех, кто активно пишет тесты на Хаскелле. Спасибо.

Я использую tasty как драйвер, у него точно есть плагин для генерации junit XML репорта

В целом тейсти лучше чем хспек

На другие вопросы ответы не знаю, буду рад услышать тоже)

type family DeepSeq (x :: a) = (r :: a) | r -> x where
    DeepSeq (f x) = DeepSeq f (DeepSeq x)
    DeepSeq x     = x

    • Type family equation violates injectivity annotation.
      Type variable ‘x’ cannot be inferred from the right-hand side.
      In the type family equation:
        forall a1 a2 (f :: a1 -> a2) (x :: a1).
          DeepSeq (f x) = DeepSeq f (DeepSeq x)

выглядит как да, потому x справа подходит под все

ну то есть я понимаю, почему эта штука слишком сложна для ghc

да, хспек как тейсти, но зачем-то еще разбавленный ненужными словами типа it describe и shouldBe

а моки - это боль и унижение