Re: Constructing an object

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Tapio Kelloniemi <invalid@localhost.localdomain.com> writes:

>...If this fails
> and the parent method is not called at run time, Program_Error would
> be raised. I don't think this is a big problem since in most cases missing
> parent method call can be identified like missing return statement.

The rules about return statements probably should be static:
Every path through the function must have a return statement
or a raise statement.

Instead, we have: There must be at least one return statement
(never mind that it might be bogus, or might be skipped).
Plus a run-time check.

The rule you propose about calling the parent could be static,
too: exactly one call on every path (not inside a loop).

- Bob