Merge taskId and serialisableTaskId

Authored by Mikolaj on Jul 24 2012, 4:41 AM.

Description

Merge taskId and serialisableTaskId

A companion ghc-events pachakge commit displays task ids in the same format.

Details

Committed
MikolajJul 25 2012, 9:24 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF4666be5d9471: Don't report unused bindings of the form _ = e
Branches
Unknown
Tags
Unknown