Re: Two class-wide operands, but only one controlling

[Samuel Tardieu <sam@rfc1149.net>]

>>>>> "Victor" == Victor Porton <porton@ex-code.com> writes:

Victor> In article <ubs4gvzea.fsf@wanadoo.fr>,
Victor> 	Pascal Obry <p.obry@wanadoo.fr> writes:
>> porton@ex-code.com (Victor Porton) writes:
>>
>>> I want something like a procedure with two class-wide operands,
>>> (of two different types) but only one of these controlling.
>>>
>>> The solution I found is introducing new tagged record types which
>>> would refer to these two types and passing both operands as one
>>> operand in such the record. Other solutions?
>>
>> Declare the second one as a class-wide ('Class) parameter.

Victor> What?! It is clearly stated that I want _both_ of them class
Victor> wide...

I think you are confusing actual (in the call) and formal (in the
declaration) parameters. Pascal proposes that you use a first
non-class-wide formal parameter and a second class-wide formal
parameter.

The actual parameter of a class-wide formal parameter cannot be a
controlling operand.

  Sam
-- 
Samuel Tardieu -- sam@rfc1149.net -- http://www.rfc1149.net/sam