AP
Ну и я шутки ради посетовал
Size: a a a
2021 April 24
JS
нет, включение LANGUAGE Strict в GHCi не выполняет проверку константы. скорее всего, LANGUAGE Strict относится к переменным, а не к уравнениям
JS
любую шутку можно использовать как гипотезу для эксперимента
AP
это правда
AP
Но asserts подобные всяко лучше в контексте упомянутого MonadFail делать:
test = do
15 <- pure (1 + 13)
...
JS
да, регулярно пишу
True <- $quickCheckAllJS
кстати, можно как-то покороче записать?
пробовал из main возвращать False, но с точки зрения ОС, это всё равно exit 0
main = do
True <- $quickCheckAll
pure ()пробовал из main возвращать False, но с точки зрения ОС, это всё равно exit 0
AP
Ты хочешь, чтобы падало?
JS
хочу, чтобы код завершения процесса был отличен от 0
AP
Да, я об этом. Чтобы провал тестов было видно
JS
в неигрушечных проектах Tasty.defaultMain это делает, а в игрушечных бойлерплэйта немножко
AP
fail в IO не даёт ненулевой код возврата, насколько я понял
JS
во, отлично!
JS
fail @IO бросает исключение и всё хорошо с кодом