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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b5cd7bf26d091c6f
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news3.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Reading the while standard input into a String
Date: Wed, 08 Jun 2011 21:09:04 +0300
Organization: Tidorum Ltd
Message-ID: <959s61F40sU1@mid.individual.net>
References: 
 <0fc4860c-6b14-493a-99a4-0b17e736ec48@glegroupsg2000goo.googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: individual.net WCwqPn0dUhcXgbfxTbhitgNNVj0gpUFftN0tH2kbGconuFaUWf
Cancel-Lock: sha1:gl/BtTOq/Ro+CbqEjXzWJUeUQwI=
User-Agent: Mozilla-Thunderbird 2.0.0.24 (X11/20100328)
In-Reply-To: 
 <0fc4860c-6b14-493a-99a4-0b17e736ec48@glegroupsg2000goo.googlegroups.com>
Xref: g2news1.google.com comp.lang.ada:19703
Date: 2011-06-08T21:09:04+03:00
List-Id: <comp.lang.ada>

Egil H�vik wrote:
> actually, only unrecognized pragmas can be ignored as stated in RM 2.8(11).
> I certainly wouldn't use a compiler that didn't recognize pragmas such as
> Storage_Size, Pure, Elaborate. These and others are clearly defined by the 
> language, and must be recognized.
> 
> The same goes for pragma Pack. A compiler that does not recognize (and ignores)
> such a pragma is not an Ada compiler. If it cannot comply with the packing 
> request, fine, but that's an error, and cannot be silently ignored.

The compiler can ignore pragma Pack in the sense that the compiler can 
allocate memory for the data type in the same was as if there were no 
pragma Pack. That is, the pragma does not have to result in a smaller 
memory lay-out. The pragma only asks the compiler to *try* to minimize 
the size, but the compiler does not have to try very hard... or at all.

If you want to be sure that pragma Pack has some (desired) effect, you 
should define the 'Size attribute of the type. If the compiler cannot 
pack the type into the given size, it must report a compile-time error.

(Egil, please quote the relevant parts of the post to which you are 
replying! In the common newsreaders the context of your reply is lost if 
you don't do that.)

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .