Re: Type conversion between access types (was: Free'ing extended types)

[Dale Stanbrough <dale@goanna.cs.rmit.EDU.AU>]

Scott Leschke writes:

"First I was
 slightly surprised that the type conversions in the example code Bob Duff
 posted were allowed since I know that independent access types (even those
 specifying the same type) are viewed as denoting separate pools and as such
 type conversions between them is not allowed."


I presume that this also means that access types declared inside a generic
package are not compatable with other access types? 


e.g. 

generic
	type element is private;
package x is

	type ptr is access element;
end;


package y is

	type a is private;

	type ptr is access a;
	
	package new_ptr_package is new x(a);
	
	
end;

Is new_ptr_package.ptr not type convertible with y.ptr?
Is it likely that compilers would use different storage pools for
these two types?

Dale