Size: a a a

2020 May 15

IK

Ilya Kos in Haskell
Misha Puzanov
inspection-testing скорее всего
да, оно
источник

IK

Ilya Kos in Haskell
спасибо
источник

IK

Ilya Kos in Haskell
Но все равно не решает проблему 🙂
источник

IK

Ilya Kos in Haskell
Может их прагмой как-то в файле отключить можно?
источник

IK

Ilya Kos in Haskell
короче просто вставлю {-# OPTIONS_GHC -O0 #-} и буду надеться что это что-то делает
источник

MK

Maxim Koltsov in Haskell
а нельзя сделать myFmap = fmap с NOINLINE прагмой?
источник

MK

Maxim Koltsov in Haskell
возможно в таком случае рерайт не сработает
источник

IK

Ilya Kos in Haskell
кстати похоже что да
источник

AV

Alexander Vershilov in Haskell
Была проверялка свойств до inspection testing на основе оптимизаций
источник

AV

Alexander Vershilov in Haskell
Тоже от Йокима
источник

AV

Alexander Vershilov in Haskell
Не найти :(
источник

AV

Alexander Vershilov in Haskell
источник

MK

Maxim Koltsov in Haskell
inspection-testing вообще через плагин сделан вроде
источник

MK

Maxim Koltsov in Haskell
изврат
источник

AV

Alexander Vershilov in Haskell
ghc-proofs пакет
источник

MK

Maxim Koltsov in Haskell
блин, я не могу назвать поле data :/
источник

AV

Alexander Vershilov in Haskell
content
источник

AV

Alexander Vershilov in Haskell
datum
источник

AV

Alexander Vershilov in Haskell
(в единственном числе)
источник

ЗП

Зигохистоморфный Пре... in Haskell
источник