Ответ 1
Может быть полезна опция GHCi -fbreak-on-exception. Вот пример отладки сеанса. Сначала мы загружаем наш файл в GHCi.
$ ghci Broken.hs
GHCi, version 7.0.2: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package ffi-1.0 ... linking ... done.
[1 of 1] Compiling Main ( Broken.hs, interpreted )
Ok, modules loaded: Main.
Теперь включим -fbreak-on-exceptions и проследим наше выражение (main в этом случае для всей программы).
*Main> :set -fbreak-on-exception
*Main> :trace main
Stopped at <exception thrown>
_exception :: e = _
Мы остановились на исключении. Попробуем посмотреть код с помощью :list.
[<exception thrown>] *Main> :list
Unable to list source for <exception thrown>
Try :back then :list
Поскольку исключение произошло в Prelude.head, мы не можем напрямую смотреть на источник. Но, как сообщает GHCi, мы можем пойти :back и попытаться перечислить, что произошло раньше в трассировке.
[<exception thrown>] *Main> :back
Logged breakpoint at Broken.hs:2:23-42
_result :: [Integer]
[-1: Broken.hs:2:23-42] *Main> :list
1
2 main = print $ head $ filter odd [2, 4, 6]
3
В терминале нарушающее выражение filter odd [2, 4, 6] выделено жирным шрифтом. Таким образом, это выражение, которое оценивается в пустом списке в этом случае.
Подробнее о том, как использовать отладчик GHCi, см. Руководство пользователя GHC.