RtsAPI: pause and resume the RTS
This is the first step in adding GHC support for ghc-debug. This simply exposes rts_pause
and rts_resume
in the RTS API.
This is the first step in adding GHC support for ghc-debug. This simply exposes rts_pause
and rts_resume
in the RTS API.