MK
выхoдит, oстаётся дрoпать store целикoм перед каждым тестoм
Это конечно очень печально
Size: a a a
2020 May 14
MK
Но с другой стороны мотивирует сразу нормально делать))
MK
Быстрее *
A
итoгo прoшёлся пo:
https://github.com/haskell/cabal/issues/5125 - ghc-pkg unregister case
https://github.com/haskell/cabal/issues/4119 - store corruption
https://github.com/haskell/cabal/issues/3834 - surgically remove package from store
https://github.com/haskell/cabal/issues/5125 - ghc-pkg unregister case
https://github.com/haskell/cabal/issues/4119 - store corruption
https://github.com/haskell/cabal/issues/3834 - surgically remove package from store
AV
может ли что-то произойти с варпом, если ему не слать исключение из-вне, что его тред выйдет?
AV
у меня есть типа зависший процесс haskell, какие идеи как понять что с ним?
AV
@mouse_police я знаю ты должен знать
AV
в bt ничег интересного 🙁
AV
Разбрался, всем спасибо
NS
Подскажите какие варианты есть чтобы звать idris код из Haskell ? Есть ли какой-то bridging ?
AV
C FFI?
AV
Но там ничего хорошего кроме C как интерфейса FFI кажется не советуют
NS
Мдааа, а у Agda есть интероп с хаскелем?
AV
У agda есть , точнее экстрактация в хаскель
DZ
кто-то может поделиться успешным кейсом использоватья dhall для конфигов?
DZ
пока что получается так, что если ты не хочешь заставлять пользователя конфигов писать такое вот в коде:
DZ
{ _1 = < ReportSome | ReportOther >.ReportSome, _2 = "A" }