ErrUtils: Emit progress messages to eventlog
authorBen Gamari <ben@smart-cactus.org>
Sun, 14 Apr 2019 21:05:50 +0000 (17:05 -0400)
committerBen Gamari <ben@well-typed.com>
Sun, 16 Jun 2019 15:32:08 +0000 (11:32 -0400)
commitabf568ddb607149dff0c141661f07739e1335f6e
tree76913e6b00fff3669a22f2783edfa9f122c602b1
parent0911f6534d1171c7253bf30087dbd6c7b96d456f
ErrUtils: Emit progress messages to eventlog

(cherry picked from commit 1bef62c38d3737b5f5d7ebbb479f3c1a12b1aa09)
compiler/main/ErrUtils.hs