Notes from the 14 July meeting

[Jason Merrill]

>>>>> Matt Austern <austern at isolde.engr.sgi.com> writes:

 > Jason: Would the usual multiple-entry-point scheme work just as well?
 > That is, would it be just as fast as Daveed's scheme in the simple
 > case, and still preserve enough information for the more complicated
 > cases?  It appears so, but we don't have a proof.  Jason will try to
 > provide one.

Proof?  You always know what types a given override must be able to return,
and you know how to convert from the return type to those base types.  You
know from the entry point which type is desired.  Seems pretty
straightforward to me.

Jason