DB
Звучит как очень страшное расширение, но очень часто испольхуется
Size: a a a
2020 November 12
KV
Звучит как очень страшное расширение, но очень часто испольхуется
Значит так, когда компилятор говорит включить, то включаешь, а иначе нет. И нормально
DB
Звучит не очень
KV
Почему?
DB
Ну понимать бы хотелось, когда оно действительно надо
KV
Вот есть ещё АllowАmbiguousТypes, его компилятор тоже часто просит включить, но делать этого не нужно, пока не прочитаешь мануал
KV
Ну понимать бы хотелось, когда оно действительно надо
Так я и сказал, когда
DB
Так я и сказал, когда
Ну капец
DB
будто компелятор тут самый умный
AV
будто компелятор тут самый умный
always has been
KV
Наоборот, он туповат и поэтому жалуется, что не может доказать терминируемость вывода инстанса, поэтому просит отключить проверку
AV
termination checker очень консервативный в ghc
AV
и можно доказать завершимость для малого числа интересных инстансов и куча ограничений
DB
Наоборот, он туповат и поэтому жалуется, что не может доказать терминируемость вывода инстанса, поэтому просит отключить проверку
То есть у меня может компиляция стек взорвать, если что не так?
AV
undecidableinstanes снимает эту проверку и заменяет на то, что кол-во шагов вывода будет ограничено
IK
Возможно у этого подхода с TH есть какие-то друге проблемы, интересно было бы узнать.
Меняешь один модуль -- пересобирается весь проект
AV
И если у тебя не выводится, то он долго подумает и скажет "шагов не хватило"
AV
Меняешь один модуль -- пересобирается весь проект
Что-то не то делаете
DB
И если у тебя не выводится, то он долго подумает и скажет "шагов не хватило"
А, понял
IK
Что-то не то делаете
Если поменялась зависимость, и в текущем модуле есть TH, то модуль пересобирается