Re: Ada package registry?

[gautier_niouzes@hotmail.com]

Le samedi 6 février 2016 02:25:59 UTC+1, Randy Brukardt a écrit :

> [What I mean by expressing assumptions is that it's unlikely that any real 
> Ada code would really run anywhere. I've been having fun with Gautier over 
> his "unconditional portability" claim, as one only needs a single 
> counter-example to disprove the claim. After a few obvious problems with the 
> choices of Janus/Ada were worked out, I pointed out that his types wouldn't 
> work on our old U2200 compiler (as that was a 1's completement, 36-bit 
> machine). He decided quite reasonably not to worry about that, but that 
> means in his case, that means his code is "unconditionally portable" so long 
> as your target supports 32-bit integers and is 2's complement. That might be 
> 99% of machines, but its not quite unconditional.]

Actually I do worry - well, a bit: don't worry that I'm worrying too much!
It's why I've mitigated the "unconditional portability" claim with "within limits of compiler's provided integer types and target architecture capacity".
Note that I don't claim "unlimited portability".
Only, within limits that are target machine's and compiler supported integer types, there is no need of conditional compilation, preprocessing, #ifdef's and other tricks to fake portability.
I test some of my libraries with both GNAT (most recent GPL) and ObjectAda 7.2.2 (an old, free version).
It's very rewarding to punch the build button on both IDEs and get something working (be it Zip, image or PDF tool) with exactly the same source set.
Moreover, both compilers issue warnings or in very rare cases, errors, that the other doesn't.
You also see that a claim like "our software is an Ada 95 compiler" is perhaps met by nobody so far in 2016 if you take the Manual stricto sensu.
This includes the Interpretations of the Manual: if a warning or an error is issued, it makes a difference...
_________________________ 
Gautier's Ada programming 
http://sf.net/users/gdemont/