Re: mirage + froc = self-scaling?

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 1 Apr 2013, at 09:50, Pierre Chambart <pierre.chambart@xxxxxxxxxxx> wrote:

> Le Thu, 28 Mar 2013 13:28:36 +0000,
> Anil Madhavapeddy <anil@xxxxxxxxxx> wrote :
> 
>> - Rewrite both Lwt and Froc to accept an explicit context that would
>> make them both reentrant.  This would be quite intrusive,
>> particularly for Lwt.
> 
> Just my 2 ct: You know there is always (since 3.12) an easy way to add
> an explicit context to an OCaml library: first class modules. In the
> case of Lwt it won't be that easy because of the global variables in
> the C stubs, but this wouldn't be that heavy to clean.

Doing this with Lwt would indeed be easy (but not Lwt_unix). However it doesn't 
solve the problem at hand, which is establishing a clear separate semantic 
between the configuration space and the IO space...

-anil