[Haskell-cafe] FFI and callbacks

[Simon Marlow]

On 26 July 2005 11:32, Sebastian Sylvan wrote:

> On 7/26/05, Simon Marlow <simonmar at microsoft.com> wrote:
>> On 25 July 2005 22:41, Sebastian Sylvan wrote:
>>> Well how about not touching the "bound threads" design at all, but
>>> modifying the lightweigh threads design to also include "forkIOHere"
>>> (or something) which would produce a lightweight thread which is
>>> always run in the "main" OS thread.
>> 
>> This is what Duncan was angling for, I think.  My point is that this
>> requires the implementation to support lightweight threads, which is
>> something we intentionally avoided in the bound threads design.
> 
> No it doesn't. If they don't support lightweight threads, they won't
> have the forkIOHere function available.
> I.e. leave it out of the bound threads design and just implement it as
> a feature in the GHC lightweight threads system.

I think you misunderstand me.  I'm merely pointing out that the fact
that it would be a GHC-specific feature is a drawback.  (not that any
other compilers have bound threads either, but still).

Cheers,
	Simon