Allow setting timeout in GHCi
E.g. (timeout in seconds)
ghci> :timeout 60
ghci> let x = x in x
GhciTimedOut.
this would allow using ghci
more reliably with scripts, doctest
etc.
E.g. (timeout in seconds)
ghci> :timeout 60
ghci> let x = x in x
GhciTimedOut.
this would allow using ghci
more reliably with scripts, doctest
etc.