On Mon, Jul 29, 2013 at 9:13 PM, Jonathan S. Shapiro <[email protected]>wrote:
[snip]


> Yes, though I see no reason why this should *not* be true for exception
> handlers when the Liskov implementation technique is used. Indeed, the
> Liskov-style implementation should generally be faster, because (a) it is
> equally fast in the exceptional return case, but (b) the exceptional return
> case is rarely invoked, and (c) the exceptional return case doesn't get in
> the way of normal return at the low-level data structure, and (d) being
> designed into the language, a proper exception implementation doesn't
> require the thread-local storage workarounds that are required for *errno*
> .
>

[snip]

By "the Liskov implementation technique," do you mean CLU-style exceptions
that propagate only to the immediate caller, as in [
http://www-public.it-sudparis.eu/~gibson/Teaching/CSC7322/ReadingMaterial/LiskovSnyder79.pdf
]?
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to