Re: [Scheme-reports] Exception handling Andy Wingo (02 May 2011 10:20 UTC)
Re: [Scheme-reports] Exception handling Alaric Snell-Pym (02 May 2011 10:36 UTC)
Re: [Scheme-reports] Exception handling Andy Wingo (02 May 2011 10:51 UTC)
Re: [Scheme-reports] Exception handling Alaric Snell-Pym (02 May 2011 12:33 UTC)
Re: [Scheme-reports] Exception handling Aaron W. Hsu (02 May 2011 14:17 UTC)
Re: [Scheme-reports] Exception handling Aaron W. Hsu (02 May 2011 14:18 UTC)
Re: [Scheme-reports] Exception handling Vincent Manis (02 May 2011 15:04 UTC)
Re: [Scheme-reports] Exception handling Aaron W. Hsu (03 May 2011 00:17 UTC)
Re: [Scheme-reports] Exception handling Vincent Manis (03 May 2011 01:24 UTC)
Re: [Scheme-reports] Exception handling Vincent Manis (03 May 2011 01:31 UTC)
Re: [Scheme-reports] Exception handling John Cowan (03 May 2011 07:04 UTC)

Re: [Scheme-reports] Exception handling Vincent Manis 03 May 2011 01:23 UTC

On 2011-05-02, at 17:16, Aaron W. Hsu wrote:

> On Mon, 02 May 2011 11:03:41 -0400, Vincent Manis <vmanis@telus.net> wrote:
>
>> my original proposal, which attempted merely to make error handling
>> usable in a WG1 setting
>
> I agree that it would be nice to have something like this. I wonder
> whether this is too much to ask for though.

I would like to know what the metric is for `this is too much to ask'. As presented in the Draft, exception handling is purely ornamental; there is essentially nothing that a compliant program can do in reporting an error except write out `SOMETHING IS WRONG' (it's agreed that a program will know that an error or exception occurred; here I am concerned about reporting). I attempted to repair this by proposing a type predicate, a constructor, and two accessors. (The constructor is actually not from this part of the proposal, but rather from the part about constraining the argument of raise and raise-continuable, which I agree is more controversial, so we can boil down the part of the proposal we're discussing here to three very short procedures.)

If it IS too much to ask, could the WG please provide an explanation of why?

-- vincent

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports