Re: article on acces types and dynamic serialization in Ada (2003)

[Mehdi Saada <00120260a@gmail.com>]

>> what means exactly Some_access_type'Write(Stream1, Some_Pointer) ?
> Bug, unless 
> 2. Stream is used for communication inside the same program, e.g. the 
> pointer is simply marshaled. 
"Bug", then why is it allowed... Considering access types as elementary types also confuses me. First thing I learnt about them is you can't hardly ever assume they are simple addresses, or elementary. As for point 2, isn't it what I did in my first example ? I reset the file with mode IN, in immediate enclosing block, 'Read it but got an erroneous memory access.
There might be numerous ways around this linked data issue but having a sane default implementation, as we already have defaults everywhere you can still override. At least for something as straightforward as "list references and identifiers, reconstruct by aliasing and taking access here, use the stack there". Generics subprograms could be provided in the standard libraries. 
Not enough requests maybe ?