У меня есть бесконечный цикл где-то в моей программе, что приводит к исключению <<loop>> при нормальном запуске. Используя GHCi, я отследил проблему до преобразователь
f = Constructor1
(Constructor2 A :
(_t3::[DataType2]))
Попытка упорядочить преобразователь с помощью seq _t3 () приводит к зависанию GHCi, поэтому, если я правильно понимаю, происходит бесконечный цикл при сведении к нормальной форме Weak Head. Есть ли способ исследовать этот преобразователь, например, чтобы шаг за шагом увидеть шаги сокращения, которые пытаются использовать для его оценки?
