From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,eb6a9ac6a74a256c X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!news.glorb.com!news.swapon.de!news.motzarella.org!motzarella.org!octagram.motzarella.org!not-for-mail From: Ivan Levashew Newsgroups: comp.lang.ada Subject: Re: Unchecked_Union with empty variant Date: Tue, 17 Mar 2009 13:21:02 +0600 Organization: A noiseless patient Spider Message-ID: References: <867i2p16fd.fsf@stephe-leake.org> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: news.eternal-september.org U2FsdGVkX1+7wiVLWN3vL53v1hxLUFuJGEiRxQd9m9WDEbFFyd9s27Amhlyes2eVWEeTsJxXXYSNpu4ehsQHnUFpic9NPpOK88D/neL6FiNZ1adFj3Ue3yGxRhZemKaTIc2KV+u8l8QycuGGIazvtQ== X-Complaints-To: Please send complaints to abuse@motzarella.org with full headers NNTP-Posting-Date: Tue, 17 Mar 2009 07:20:23 +0000 (UTC) In-Reply-To: <867i2p16fd.fsf@stephe-leake.org> X-Auth-Sender: U2FsdGVkX1//tv9NUjR+lHKKDOCRTbn7Q28NI/Zr6/HgRYcaHAuUSw== X-Image-URL: http://img220.echo.cx/img220/9664/111408397042725603791c71pb.gif Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAFVBMVEUAAAOZlpMaJz3/9fYs //8FP1E2M3Qbef+MAAACEklEQVQ4jZ2TTW7bMBCFJwO465B2uqZfS+4NnyBA7LXMerSPEPL+R+gb KqmTIAWKDiCCmo9v/kSJqGaVJCp/TLk3kbypSPmdX2QD2YikTUrAe6CqiWuCL/LR3Cfu/AJgbP4K Phtjfz77vwAfOv4XkNPXVSkqwZvmfTZMAriHMOGG1EOt7xw1Rli8hTIkV4DDTIFn6qqYZJ5JFLhT yIVnHAoIrlYTNGKf7yVMUS4yvYITdC8EMaZwHyX4t4ERnCv2uN+HGMFH4x2bHuDEahD1IUR18LAn mC3Jjork3Wny28Gp+h1pMhR08VV9s55hc/J08qrg90RHP15uXag4c1pYMFvVbHmBB3bFtVGBpVwe z+Hno7UyABU8yYEt1l5q+P54Mj8sM5dsVdRqu4RDCLvWGn2lj8pMJdC2BMdtCFG0L8rptiz6Y3s8 Hh1wjehXby133vRneo5hBSgvu+rfozdodnDYui6g7645m1jpVXELFUtnz6yo9MUKfo1YhzXF6WSc bu09Ax7rcGSsgNKezKggaDNGLH8icz80EsmlcwxOPMcBBJZd0VnWzOnSGbYUMEXNnqO00gvB4p1T gG7TUMydxjljz9xxAAyFzUvpfiEZLHD91iwNhVmvfXybYaksDioVlDh4JdqbwVYFyQ2Unq8EeQDr GDfcrS/ZUF8VJAtWUW8pPyFXr8oDMun4r0pHgiVMafoNgUqRDtakwdAAAAAASUVORK5CYII= X-Face: *tpB#/X3&Zh\?<4l;hAgY:m6lt6L]v#Udy\Xwy{@<'qP=9clA}kEbbSV1]B0a^O{|ibsNV~|zu.Da}V4*se@ns!8*Bt$9l-]nbD}o*7ml9J2)u:"!6P%_-`y9,'.L.Psp),njUf!=F5;kx%~\,'D$%{" Cancel-Lock: sha1:Ai4on4/FXZgl124QKMzHZS0QRkE= User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X; ru; rv:1.8.1.19) Gecko/20081209 Thunderbird/2.0.0.19 ThunderBrowse/3.2.3 Mnenhy/0.7.6.666 Xref: g2news2.google.com comp.lang.ada:5126 Date: 2009-03-17T13:21:02+06:00 List-Id: GNAT supported Unchecked_Union in Ada 95 mode. UU wasn't in Ada 95 standard, and GNAT could only handle pure union (without declarative part). Ada 2005 allowed declarative parts. I have a theory that GNAT developers allowed declarative parts but forgot to disable restriction applicable to records meant to be union mirrors. Anyway I have to deal with current tools so I defined several Union_n subtypes. -- If you want to get to the top, you have to start at the bottom