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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,5d4ade2fd8fd67c6 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!news.glorb.com!feeder.erje.net!feeder.news-service.com!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Legit Warnings or not Date: Sat, 23 Jul 2011 13:21:31 +0200 Organization: cbb software GmbH Message-ID: <1ti7xl9f9ava0.9pf8rburf2p9$.dlg@40tude.net> References: <531193e0-3305-4292-9ed8-0176226c1d00@x12g2000yql.googlegroups.com> <1rx6dwrxmc81p.eazb4fjqztox$.dlg@40tude.net> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: ILHyZQcch+AFigDCJ5I8TA.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Xref: g2news1.google.com comp.lang.ada:20321 Date: 2011-07-23T13:21:31+02:00 List-Id: On Sat, 23 Jul 2011 12:07:28 +0100, Simon Wright wrote: > "Dmitry A. Kazakov" writes: > >> But it should not. Programmers expect types constructed by the >> compiler be contiguous in their private view. > > Maybe, but if they have no reason to care (eg, they're not at a > communications boundary) why should they care? They should not if the semantics does not change. But it seems that this is too difficult to ensure when the type is used as a building block for other types. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de