patch applied (ghc): Switch EventThreadID back to 32 bits.
marlowsd at gmail.com
Fri Nov 13 06:24:39 EST 2009
Thu Nov 12 05:53:39 PST 2009 Simon Marlow <marlowsd at gmail.com>
* Switch EventThreadID back to 32 bits.
The log file format was still using 32 bits, this just updates the
header file to match; there should be no functional changes.
M ./includes/rts/EventLogFormat.h -1 +1
View patch online:
More information about the Cvs-ghc