rts: Separate population of eventTypes from initial event generation

Authored by bgamari on May 15 2019, 4:49 PM.

Description

rts: Separate population of eventTypes from initial event generation

Previously these two orthogonal concerns were both implemented in
postHeaderEvents which made it difficult to send header events after RTS
initialization.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Jun 9 2019, 5:44 PM
Parents
rGHC10452959136f: Add disable/enable commands to ghci debugger #2215
Branches
Unknown
Tags
Unknown