Emit GHC timing events to eventlog

Authored by bgamari on Apr 16 2019, 2:19 PM.

Description

Emit GHC timing events to eventlog

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Tue, Apr 30, 7:41 PM
Parents
rGHC1bef62c38d37: ErrUtils: Emit progress messages to eventlog
Branches
Unknown
Tags
Unknown
References
wip/gc/progress-to-eventlog
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCebfa35284741: Emit GHC timing events to eventlog (authored by bgamari).Tue, Apr 30, 7:41 PM