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@galois.com