Proposal: Add newTimeoutKey and insertTimeout to System.Event
johan.tibell at gmail.com
Sun Mar 20 15:37:50 CET 2011
On Sat, Mar 19, 2011 at 11:01 PM, Ian Lynagh <igloo at earth.li> wrote:
> 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?
More information about the Libraries