Concurrency

[Andy Adams-Moran]

John Meacham wrote:
> On Mon, Apr 03, 2006 at 05:22:34PM +0200, Benjamin Franksen wrote:
>> On Monday 03 April 2006 08:38, John Meacham wrote:
>>> On Sat, Apr 01, 2006 at 07:31:05AM -0500, David Roundy wrote:
>>>> I'd like to be sure that asynchronous exceptions can get into the
>>>> standard. They require concurrency, but I'm not sure that they're
>>>> included in John's page.
>>> I am assuming you mean supporting the 'throwTo' primitive, which can
>>> be caught in the IO Monad?
>> There is also divide-by-zero and related stuff that is thrown from pure 
>> code.
> 
> those are 'ImpreciseExceptions' which is a different extension.

The asynchronous exceptions extension is morally an extension to the
imprecise exceptions extension :-)  You /can/ do the former without the
latter, but the semantics we gave assumed both were in play.

A

-- 
Andy Adams-Moran                             Phone: 503.626.6616, x113
Galois Connections Inc.                              Fax: 503.350.0833
12725 SW Millikan Way, Suite #290                http://www.galois.com
Beaverton, OR 97005                             adams-moran at galois.com