[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Line/column numbers in user supplied exception handlers
From: |
Thomas Bushnell, BSG |
Subject: |
Re: Line/column numbers in user supplied exception handlers |
Date: |
10 Jul 2001 17:08:51 -0700 |
User-agent: |
Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7 |
Neil Jerram <address@hidden> writes:
> >>>>> "Marius" == Marius Vollmer <address@hidden> writes:
>
> >> I think you're right, but I'm worried about the risk of
> >> confusion (including for myself) between error handling using
> >> `catch' and error handling using `call-with-exception-handler'.
> >> How would you delineate the boundary between them?
>
> Marius> I would deprecate catch/throw.
>
> OK, now you've outflanked me! Could you explain the big picture?
I think it's clear that if you have call/ec, you certainly don't want
to bother with catch anymore.
- Re: Line/column numbers in user supplied exception handlers, (continued)
- Re: Line/column numbers in user supplied exception handlers, Marius Vollmer, 2001/07/05
- Re: Line/column numbers in user supplied exception handlers, Neil Jerram, 2001/07/06
- Re: Line/column numbers in user supplied exception handlers, Marius Vollmer, 2001/07/06
- Re: Line/column numbers in user supplied exception handlers, Neil Jerram, 2001/07/07
- Re: Line/column numbers in user supplied exception handlers, Marius Vollmer, 2001/07/09
- Re: Line/column numbers in user supplied exception handlers, Neil Jerram, 2001/07/10
- Re: Line/column numbers in user supplied exception handlers,
Thomas Bushnell, BSG <=
- Re: Line/column numbers in user supplied exception handlers, Neil Jerram, 2001/07/11
- Re: Line/column numbers in user supplied exception handlers, Marius Vollmer, 2001/07/12
- Re: Line/column numbers in user supplied exception handlers, Marius Vollmer, 2001/07/12
- Re: Line/column numbers in user supplied exception handlers, Martin Grabmueller, 2001/07/13
- Re: Line/column numbers in user supplied exception handlers, Marius Vollmer, 2001/07/22