Kontynuuj debugowanie w GHC po przerwaniu.

Question

Mam wyrażenie nieterminacyjne w Haskell. Chcę debugować i sprawdzać powód, dla którego to się nie kończy. Technika dowiedziałem jest użycie następujących GHCi:

:set -fbreak-on-exception 
:trace nonterminating_expression 
^C 
:hist 50 

Więc mogę zapoznać się z instrukcjami, które są uruchomione w nieskończonej obliczeń. Problem polega na tym, że chciałbym kontynuować obliczanie z :step, ignorując przerwanie. Czy mogę to zrobić?

Jakieś inne rozwiązanie do debugowania obliczeń nieterminacyjnych? (Historia większy niż 50 rejestrów lub innych praktyk, aby pomóc zadanie.)

Answer 1

Jedno robiłem w przeszłości jest używać unsafePerformIO złamać ilekroć naciśnięciu klawisza:

Powiedzmy t jest oryginalny wyraz wstawić X w wyrażeniu:

import System.IO 
import System.IO.Unsafe 

t i = do print i; t (i+1) 
t2 i = do print i; x; t2 (i+1) 

x = do r <- hReady stdin 
     if r then do a<-hGetChar stdin 
        print a -- break on this line 
      else print "" 

Następnie w wierszu ghci:

*Main> :break 9 
*Main> t2 0 

Naciśnij klawisz klawiatury

*Main> :cont 

wznawia się w miejscu, w którym zostało przerwane.