[Haskell] What guarantees (if any) do interruptible operations have in presence of asynchronous exceptions?

Chris Kuklewicz haskell at list.mightyreason.com
Tue Dec 5 10:58:35 EST 2006

Cat Dancer wrote:
> On 12/5/06, Chris Kuklewicz <haskell at list.mightyreason.com> wrote:
>> Making small programs to test these properties is a good sanity
>> check.  For
>> instance I just leaned that "safePoint = unblock ( return () )" does
>> not work.
> Maybe if you do something to allocate some memory inside of the unblock?
>> > If this were true, then if you caught an asynchronous exception from
>> > the putMVar operation, you'd know that a value was not put into the
>> > MVar by the operation.
>> I think that should be a safe assumption when running under "block".
> "I think" and "should be" is nice, how do we find out if it's really
> true -- for sure?

Read the papers the have been written about the design (see the wiki for links)
and ask the developers of the compiler you are using.  nicely.

More information about the Haskell mailing list