Re: Exceptions are too return values!

1998-06-15 Thread Fergus Henderson
On 12-Jun-1998, Scott Turner [EMAIL PROTECTED] wrote: At 14:40 1998-06-10 +0100, you wrote: Here's a reasonable design for exceptions in Haskell: * handle :: (String - IO a) - IO a - IO a You probably realized more quickly than I how this can leak exceptions. ... Is this considered a

Re: Exceptions are too return values!

1998-06-15 Thread Fergus Henderson
On 13-Jun-1998, Peter White peter@galois wrote: I wonder if there is another issue relating potential nondeterminism of exceptions to the independence of threads. It is supposed to be the case that two different threads have behavioral independence, so that an implementation could run the

Re: Exceptions are too return values!

1998-06-15 Thread Alastair Reid
On Mon, 15 Jun 1998, Fergus Henderson wrote: P.S. Is there any reason why something like `HyperEval' isn't built in to Haskell, or at least include in the Haskell Library report? Is there any implementation-specific precedent for something like this in say ghc? Dave Tweed [EMAIL

Re: FW: Exceptions are too return values!

1998-06-15 Thread Fergus Henderson
On 12-Jun-1998, Alastair Reid [EMAIL PROTECTED] wrote: Fergus Henderson [EMAIL PROTECTED] points out that our exception handling scheme hits problems if you hit an infinite loop instead of an exception. Yes, this is a problem - and not a pretty one. Fixes: ... 3) Add timeouts (and

[Fwd: Re: Exceptions are too return values!]

1998-06-15 Thread Noel
--3E1737327A Content-Type: text/plain; charset="us-ascii" Alastair Reid wrote: I believe this is what the derive program (available from Glasgow's web site) was originally developed for. Hi, I'm the implementor of the software formerly known as 'Derive`, and would just make a few