к
Size: a a a
2020 December 14
MK
В ревью пр тебе кто тип покажет?
MK
Не помешает
MK
Хотя меня и инлайн синтаксис устраивает
K
ну тогда жду когда к каждому data/type/type family начнут писать type с сигнатурой
MK
data Foo (a :: Bar)
к
фича-то есть, но нужно чтобы все ее использовали для всех топлевел определений типов
ЗП
можно считать это валидным и законным?
ca <|> cb = Cont $ \f -> run ca f <|> run cb f
к
data Foo (a :: Bar)
ого, прямо как
foo (a :: Int)
foo (a :: Int)
MK
ого, прямо как
foo (a :: Int)
foo (a :: Int)
Ну другого способа-то не было
MK
Теперь есть - буду писать так
MK
Когда релиз с этим до меня дойдёт
MK
Это кстати в 8.10 попало?
MK
По ссылке коммит 2019 года
MK
Да