Re: [Seed7-users] Dynamic dispatch strange behaviour

[Leonardo C. <leo...@gm...>]

2008/2/11, Thomas Mertes <tho...@gm...>:
> The variable 'myAstro' is not a reference to a value, but the
> value itself. The process described above makes sense for parameters
> (except for a value parameter where the value is copied).
> For structs the parameters 'in', 'ref' and 'inout' are reference
> parameters.

You have been really clear. In the manual chapter about parameters
(chapter 6) I haven't found anything about structures but only about
arrays.

"For arrays 'in' parameters are equal to 'ref' parameters"

Probably the structs behaviour may be inferred from what you said
about arrays and from the sources but I think that specifying it would
be better.

> Something is clear now: My description of the process
> of dynamic dispatch is not precise enough and needs improvement.

I think the description is good: I simply wasn't aware that
implementation objects have value-copy semantics.

> May be my idea of having value copy for implementation objects
> and reference copy for interface objects is too confusing.
> May be I should describe the role of assignments in more detail.
> What do you think about my concepts and their description?

I think the idea it's not confusing but can be better documented.
Thanks,

Leonardo