Ответ 1
Как отметил в комментариях @MikhailGlushenkov в комментарии, решение должно использовать флаг -fdefer-type-errors для GHCi.
Ghc: частично скомпилировать код Haskell?
Когда я компилирую файл Haskell с ghci, как правило, с помощью :load, и если нет ошибки типа, все выражения загружаются в интерпретатор ghc. Это очень приятно: я могу поиграть с :t, чтобы выяснить тип различных выражений.
Моя проблема: если где-то есть крошечная ошибка, ghci не может ничего загрузить (даже импортированные модули!!), что еще более затрудняет поиск правильных типов. Я всегда делаю то же самое: закомментируйте все биты, которые не проверяются typecheck, найдите соответствующие типы wiht :t в ghci и отмените комментарий.
Но это так утомительно! Есть ли лучший рабочий процесс для "частичной компиляции" исходного кода Haskell?