Re: Race-condition in alternative 'System.Timeout.timeout' implementation

2013-02-27 Thread Akio Takano
Hi Bertram, Thank you for the explanation. My previous attempt obviously suffers from the race condition you mention. However it still seems to be possible to implement a compromise, using both the IO manager and a new thread, i.e. forking only when the computation is being timed out. The

Re: base package -- goals

2013-02-27 Thread Simon Marlow
On 25/02/13 18:05, Ian Lynagh wrote: On Mon, Feb 25, 2013 at 06:38:46PM +0100, Herbert Valerio Riedel wrote: Ian Lynagh i...@well-typed.com writes: [...] If we did that then every package would depend on haskell2010, which is fine until haskell2013 comes along and they all need to be changed

Re: base package -- goals

2013-02-27 Thread Simon Marlow
On 25/02/13 19:25, Johan Tibell wrote: Hi all, Let me add the goals I had in mind last time I considered trying to split base. 1. I'd like to have text Handles use the Text type and binary Handles use the ByteString type. Right now we have this somewhat awkward setup where the I/O APIs are

Re: base package -- goals

2013-02-27 Thread Ian Lynagh
On Wed, Feb 27, 2013 at 04:54:35PM +, Simon Marlow wrote: On 25/02/13 18:05, Ian Lynagh wrote: Personally, I don't think the language report should be specifying the content of libraries at all, It's not that straightforward, because the language report refers to various library

Re: Race-condition in alternative 'System.Timeout.timeout' implementation

2013-02-27 Thread Bertram Felgenhauer
Akio Takano wrote: Thank you for the explanation. My previous attempt obviously suffers from the race condition you mention. However it still seems to be possible to implement a compromise, using both the IO manager and a new thread, i.e. forking only when the computation is being timed