Size: a a a

2021 May 04

L

Lierdakil in Haskell
expand LLVM IR (in-place) забыл
источник

IO

I O in Haskell
Я его плохо читать умею(. Еще интерфейс, rule/inlining firings надо бы
источник

IO

I O in Haskell
Вообще все ddump короче
источник

R

Roman in Haskell
по дефолту? Иногда это полезная ошибка, когда что-то с фандепами делаешь, но я не пробовал его включать, чтобы посмотреть, пропадет ли ошибка если с фандепами что-то пошло не так
источник

DI

Dmitry Ivanov in Haskell
-ddump-paper
источник

IO

I O in Haskell
-ddump-brain
источник

R

Roman in Haskell
надо просто StandaloneKindSignatures пользоваться в каждом определении как только хоть какое-то количество тайп-левельного программирования начинается. Я так недавно полчаса тайплевел дебажил, пока не решил везде сигнатуры проставить, и оно внезапно заработало. А дебажить тайплевел невесело
источник

IO

I O in Haskell
Научить хлс SAKS генерировать!
источник
2021 May 05

[

[BRM]White Rabbit in Haskell
есть вот такая лямбда.
Она должна запускать функцию с ReaderT с изменённым контекстом поля LocalBase.
Работает ли эта лямбда?
источник

[

[BRM]White Rabbit in Haskell
UPD: вопрос закрыт, работает
источник

к

кана in Haskell
почему ты сомневался?
источник

IO

I O in Haskell
IIRC withReaderT (const x) = pure . runReaderT x, так что оно по идее не одно поле изменяет а вообще все окружение заменяет на env { ... }
источник

к

кана in Haskell
тогда не pure, а ReaderT $ runReaderT act x

раз это T, то там результат же будет не значением, а какой-то другой процедурой
источник

[

[BRM]White Rabbit in Haskell
так не работало!
источник

[

[BRM]White Rabbit in Haskell
мне норм
источник

к

кана in Haskell
а откуда там env берется?
источник

к

кана in Haskell
не из ридера случаем?
источник

к

кана in Haskell
а то тогда это же чисто local
источник

IO

I O in Haskell
Тогда уж lift $ runReaderT act x aka ReaderT $ const ...
источник

к

кана in Haskell
да, так лучше, чет забыл про лифт
источник