> But can't you on the GENERIC side drop System.Address to void_ptr_node > again and just not make use of the "heavy lifting" you were talking about?
No "heavy lifting" in this thread, just a heavy machinery in the language. :-) > That is, why is that speciality of System.Address not a Ada FE thing only? You mean rewriting System.Address into a pointer when translating to GENERIC? Yes, I presume that's doable, but I don't see all the consequences right now. -- Eric Botcazou
