🚀 go-pugleaf

Hi,

Looking at the ARM again, I realize that what it says is clear.
A sequence such as:

   base* object = new derived;
   throw(*object);

Should behave like this:

   base* object = new derived;
   base tmp_object = *object; //will invoke copy constructor for base
   throw(tmp_object);

This throw will be caught by a catch(base).  If the user wants to use
polymorphism, then a pointer should be thrown and the catch clause
should be "catch(base*)".

Michey Mehta
Hewlett-Packard California Language Lab.     Internet: mnm@hpda.hp.com
Phone : (408) 447-5740                           UUCP: ...!hplabs!hpda!mnm