Hi,
<<Romano>>
(...)
2) Have you thought about throw err: try [...] ? Don't we need a sort of
fire-throw?
(...)
<</Romano>>
I thought about it once again. It looks really as a better idea to
distinguish between [catch]/throw and catch/throw. The former should really
look different, e.g. like [e-catch]/e-throw as opposed to catch/throw. That
could eliminate some nasty interferences, which is A Good Thing.
Ciao
Ladislav
--
To unsubscribe from this list, please send an email to
[EMAIL PROTECTED] with "unsubscribe" in the
subject, without the quotes.
