Tristan,
> Do you mean protected types are second-class types ?
> It appears it would be very impossible to associate
> access/file/protected types to formal types, doesn't it ?
The current proposal assumes only that assignment is defined for the formal
type and requires that the actual type has assignment. (So in the modified
example, I should have included "=" as a formal subprogram as well.)
Thus, access types would be legal as actual types, but file types and
protected types would not.
Cheers,
PA
-- Dr. Peter J. Ashenden peter@ashenden.com.au Ashenden Designs Pty. Ltd. www.ashenden.com.au PO Box 640 Ph: +61 8 8339 7532 Stirling, SA 5152 Fax: +61 8 8339 2616 Australia Mobile: +61 414 70 9106Received on Wed Jan 19 17:49:33 2005
This archive was generated by hypermail 2.1.8 : Wed Jan 19 2005 - 17:49:44 PST