comp.lang.ada
 help / color / mirror / Atom feed
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Subject: Re: Representation clauses for base-64 encoding
Date: Fri, 30 Dec 2011 22:56:29 +0200
Date: 2011-12-30T22:56:29+02:00	[thread overview]
Message-ID: <9m6mrtFgtjU1@mid.individual.net> (raw)
In-Reply-To: <wcclipwcian.fsf@shell01.TheWorld.com>

On 11-12-29 02:50 , Robert A Duff wrote:
> Niklas Holsti<niklas.holsti@tidorum.invalid>  writes:
>
>> Yes, a compiler cannot claim to support annex C (Systems Programming)
>> unless it implements chapter 13 as recommended, so that all the
>> "shoulds" are implemented. But this is only an argument for "probable"
>> portability, since supporting annex C is optional.
>
> Right.
>
> But of course supporting the Ada standard is optional, too.  ;-)

Yes, but we are talking about Ada programming, which to me means using 
an Ada compiler that follows the standard. For me, the issue is what 
level of portability the standard provides; the actual current 
implementations are secondary.

> It's easy to forget that standards don't actually _require_ anybody
> to do anything.  So, unfortunately, the best you can be sure of is
> "probable" portability.

I hope you would agree that Standard.Integer "certainly" has at least 16 
bits in a conforming Ada implementation, so that is one point of 
"certain" portability. The portability of representation clauses is less 
certain, since conformance is optional. In contrast, package Interfaces 
and its shift operations are in the core of the language (RM 1.1.2(5)), 
to which all imoplementations shall conform (RM 1.1.2(17)).

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



  parent reply	other threads:[~2011-12-30 20:56 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-12-22  9:41 Representation clauses for base-64 encoding Natasha Kerensikova
2011-12-22 11:20 ` Niklas Holsti
2011-12-23  1:30   ` Randy Brukardt
2011-12-26  8:33     ` Niklas Holsti
2011-12-28  0:09       ` Randy Brukardt
2011-12-22 11:37 ` Georg Bauhaus
2011-12-22 12:24   ` Niklas Holsti
2011-12-22 15:09     ` Georg Bauhaus
2011-12-22 16:00       ` Natasha Kerensikova
2011-12-22 22:18         ` Georg Bauhaus
2011-12-25 10:17           ` Niklas Holsti
2011-12-27 11:23             ` Georg Bauhaus
2011-12-27 19:37               ` Niklas Holsti
2011-12-27 20:49                 ` Robert A Duff
2011-12-27 23:47                   ` Niklas Holsti
2011-12-29  0:50                     ` Robert A Duff
2011-12-30 20:54                       ` anon
2011-12-30 20:56                       ` Niklas Holsti [this message]
2011-12-23  1:42     ` Randy Brukardt
2011-12-28  8:59       ` Niklas Holsti
2011-12-29  5:41         ` Randy Brukardt
2011-12-29 10:10           ` Dmitry A. Kazakov
2011-12-23  1:33 ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox