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

[guyclaude.burger@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. Maybe not enough requests, though it seems logical to me. I wouldn't want to bother with rewriting attributes if I want something as straightforward as "list references and identifiers, reconstruct by aliasing and taking access here, use the stack there". Generics procedures should really be provided in the standard libraries for that. Not enough demands maybe ?