20 Mar
2011
20 Mar
'11
2:37 p.m.
On Sat, Mar 19, 2011 at 11:01 PM, Ian Lynagh
On Sat, Mar 19, 2011 at 03:06:23PM +0700, Johan Tibell wrote:
It should probably have been renamed to GHC.Event until it was proposed but that never happened.
Is there any reason I shouldn't rename it in HEAD now?
I wouldn't mind. Note that we might have to rename it back some time in the future. Bryan, any objections?
I sent a patch to the GHC mailing list that updated the documentation to state that this API should be considered internal, but the patch was most likely lost somewhere along the road.
Looks like it's applied to me?
Great! Johan