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 [EMAIL PROTECTED] _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime