comp.lang.ada
 help / color / mirror / Atom feed
* Switching to a more recent compiler.
@ 2012-03-29 22:12 austin.obyrne
  2012-03-29 22:30 ` Shark8
                   ` (4 more replies)
  0 siblings, 5 replies; 8+ messages in thread
From: austin.obyrne @ 2012-03-29 22:12 UTC (permalink / raw)


I am in my late seventies and I have spent a lot of time and effort promoting Ada through some cryptography I have invented that is a world first in “Theoretically Unbreakable” ciphers.

I have used a gnat311.p compiler for all of this that came with the textbook I used to teach myself Ada-95.

What I need to know from some young blood in the know is this, “will my stuff run straight off in a revised compiler like say Ada-2005 without some editing.

I want to be able to tell other users whether it does or not.

An obvious answer might be “suck it and see” – I’m a bit knackered however and I can’t get around easily these days so if some kind person who knows the answer straight off could tell me then I would be very grateful.

- adacrypt 



^ permalink raw reply	[flat|nested] 8+ messages in thread

* Re: Switching to a more recent compiler.
  2012-03-29 22:12 Switching to a more recent compiler austin.obyrne
@ 2012-03-29 22:30 ` Shark8
  2012-03-29 22:51   ` Adam Beneschan
  2012-03-29 23:07 ` Adam Beneschan
                   ` (3 subsequent siblings)
  4 siblings, 1 reply; 8+ messages in thread
From: Shark8 @ 2012-03-29 22:30 UTC (permalink / raw)


On Thursday, March 29, 2012 4:12:20 PM UTC-6, austin...@hotmail.com wrote:
> I am in my late seventies and I have spent a lot of time and effort promoting Ada through some cryptography I have invented that is a world first in “Theoretically Unbreakable” ciphers.
> 
> I have used a gnat311.p compiler for all of this that came with the textbook I used to teach myself Ada-95.
> 
> What I need to know from some young blood in the know is this, “will my stuff run straight off in a revised compiler like say Ada-2005 without some editing.
> 
> I want to be able to tell other users whether it does or not.
> 
> An obvious answer might be “suck it and see” – I’m a bit knackered however and I can’t get around easily these days so if some kind person who knows the answer straight off could tell me then I would be very grateful.
> 
> - adacrypt

Someone with more experience than I would be more qualified to answer, but I haven't come across any incompatability-examples in my own searches which leads me to believe that the two are compatable.

According to wikipedia ( http://en.wikibooks.org/wiki/Category:Ada_Programming/Ada_2005_incompatibilities ) the only incompatability is the 'Bit_Order attribute.

Again, someone with more Ada 95 experience would be able to give  a more definite answer.



^ permalink raw reply	[flat|nested] 8+ messages in thread

* Re: Switching to a more recent compiler.
  2012-03-29 22:30 ` Shark8
@ 2012-03-29 22:51   ` Adam Beneschan
  0 siblings, 0 replies; 8+ messages in thread
From: Adam Beneschan @ 2012-03-29 22:51 UTC (permalink / raw)


On Thursday, March 29, 2012 3:30:20 PM UTC-7, Shark8 wrote:
> On Thursday, March 29, 2012 4:12:20 PM UTC-6, austin...@hotmail.com wrote:
> > I am in my late seventies and I have spent a lot of time and effort promoting Ada through some cryptography I have invented that is a world first in “Theoretically Unbreakable” ciphers.
> > 
> > I have used a gnat311.p compiler for all of this that came with the textbook I used to teach myself Ada-95.
> > 
> > What I need to know from some young blood in the know is this, “will my stuff run straight off in a revised compiler like say Ada-2005 without some editing.
> > 
> > I want to be able to tell other users whether it does or not.
> > 
> > An obvious answer might be “suck it and see” – I’m a bit knackered however and I can’t get around easily these days so if some kind person who knows the answer straight off could tell me then I would be very grateful.
> > 
> > - adacrypt
> 
> Someone with more experience than I would be more qualified to answer, but I haven't come across any incompatability-examples in my own searches which leads me to believe that the two are compatable.
> 
> According to wikipedia ( http://en.wikibooks.org/wiki/Category:Ada_Programming/Ada_2005_incompatibilities ) the only incompatability is the 'Bit_Order attribute.

No, that's just the only incompatibility that anyone bothered to enter into that Wikipedia page.  There are many more than that.  Just off the top of my head, Ada 2005 introduced three new reserved words, so any program that compiled in Ada 95 that uses one of those three reserved words will no longer compile in Ada 2005 (except for "pragma interface").

If you look at the Annotated Ada Reference Manual (http://www.adaic.org/standards/05aarm/html/AA-TOC.html), many sections have sections toward the bottom labeled "Inconsistencies with Ada 95" or "Incompatibilities with Ada 95".  The Inconsistencies are cases where a program would legally compile in both Ada 95 and Ada 2005 but could have different behavior.  Incompatibilites are cases where a program that was legal in Ada 95 could become illegal in Ada 2005.

I have a text version of the AARM and it's easy for me to find all the sections that have Inconsistencies or Incompatibilities, so I'll post a list in a few minutes.

                      -- Adam




^ permalink raw reply	[flat|nested] 8+ messages in thread

* Re: Switching to a more recent compiler.
  2012-03-29 22:12 Switching to a more recent compiler austin.obyrne
  2012-03-29 22:30 ` Shark8
@ 2012-03-29 23:07 ` Adam Beneschan
  2012-03-30 13:26 ` austin.obyrne
                   ` (2 subsequent siblings)
  4 siblings, 0 replies; 8+ messages in thread
From: Adam Beneschan @ 2012-03-29 23:07 UTC (permalink / raw)


On Thursday, March 29, 2012 3:12:20 PM UTC-7, austin...@hotmail.com wrote:
> I am in my late seventies and I have spent a lot of time and effort promoting Ada through some cryptography I have invented that is a world first in “Theoretically Unbreakable” ciphers.
> 
> I have used a gnat311.p compiler for all of this that came with the textbook I used to teach myself Ada-95.
> 
> What I need to know from some young blood in the know is this, “will my stuff run straight off in a revised compiler like say Ada-2005 without some editing.
> 
> I want to be able to tell other users whether it does or not.
> 
> An obvious answer might be “suck it and see” – I’m a bit knackered however and I can’t get around easily these days so if some kind person who knows the answer straight off could tell me then I would be very grateful.
> 
> - adacrypt

Actually, if you go to the Annotated Ada Reference Manual I linked to earlier, and go to the Index, and look for "Incompatibilities with Ada 95" and "Inconsistencies with Ada 95", that will point you to all the sections that describe them.

But here's a list, in case it helps.  I extracted this before I was aware that it was already in the Index.

Sections that list inconsistencies:
3.3.1, 3.5.2, 3.6.3, 3.9, 3.10, 4.8, 4.9, 9.6, 11.4.1, 13.13.2, 13.14,
18.1, A.4.4, A.12.1, B.3.1

Sections that list incompatibilities:
2.9, 3.7.1, 3.9, 3.9.2, 3.10, 3.10.1, 3.10.2, 4.3, 4.3.2, 4.5.5, 4.6,
4.8, 5.2, 6.5, 8.3, 8.5.1, 8.6, 9.7.2, 10.1.2, 10.2.1, 11.4.1, 13.5.1,
13.5.2, 13.11, 13.14, 18.1, A.4.1, A.4.3, A.4.4, A.4.5, A.4.7, A.5.2,
A.8.1, A.8.4, A.10.1, A.10.7, A.12.1, B.1, C.3.1, D.7, D.8, E.2.2,
E.2.3, E.5

                   -- Adam



^ permalink raw reply	[flat|nested] 8+ messages in thread

* Re: Switching to a more recent compiler.
  2012-03-29 22:12 Switching to a more recent compiler austin.obyrne
  2012-03-29 22:30 ` Shark8
  2012-03-29 23:07 ` Adam Beneschan
@ 2012-03-30 13:26 ` austin.obyrne
  2012-03-30 13:29 ` austin.obyrne
  2012-04-03  0:56 ` Gautier write-only
  4 siblings, 0 replies; 8+ messages in thread
From: austin.obyrne @ 2012-03-30 13:26 UTC (permalink / raw)


On Thursday, March 29, 2012 11:12:20 PM UTC+1, austin...@hotmail.com wrote:
> I am in my late seventies and I have spent a lot of time and effort promoting Ada through some cryptography I have invented that is a world first in “Theoretically Unbreakable” ciphers.
> 
> I have used a gnat311.p compiler for all of this that came with the textbook I used to teach myself Ada-95.
> 
> What I need to know from some young blood in the know is this, “will my stuff run straight off in a revised compiler like say Ada-2005 without some editing.
> 
> I want to be able to tell other users whether it does or not.
> 
> An obvious answer might be “suck it and see” – I’m a bit knackered however and I can’t get around easily these days so if some kind person who knows the answer straight off could tell me then I would be very grateful.
> 
> - adacrypt



On Thursday, March 29, 2012 11:12:20 PM UTC+1, austin...@hotmail.com wrote:
> I am in my late seventies and I have spent a lot of time and effort promoting Ada through some cryptography I have invented that is a world first in “Theoretically Unbreakable” ciphers.
> 
> I have used a gnat311.p compiler for all of this that came with the textbook I used to teach myself Ada-95.
> 
> What I need to know from some young blood in the know is this, “will my stuff run straight off in a revised compiler like say Ada-2005 without some editing.
> 
> I want to be able to tell other users whether it does or not.
> 
> An obvious answer might be “suck it and see” – I’m a bit knackered however and I can’t get around easily these days so if some kind person who knows the answer straight off could tell me then I would be very grateful.
> 
> - adacrypt



On Thursday, March 29, 2012 11:12:20 PM UTC+1, austin...@hotmail.com wrote:
> I am in my late seventies and I have spent a lot of time and effort promoting Ada through some cryptography I have invented that is a world first in “Theoretically Unbreakable” ciphers.
> 
> I have used a gnat311.p compiler for all of this that came with the textbook I used to teach myself Ada-95.
> 
> What I need to know from some young blood in the know is this, “will my stuff run straight off in a revised compiler like say Ada-2005 without some editing.
> 
> I want to be able to tell other users whether it does or not.
> 
> An obvious answer might be “suck it and see” – I’m a bit knackered however and I can’t get around easily these days so if some kind person who knows the answer straight off could tell me then I would be very grateful.
> 
> - adacrypt



On Thursday, March 29, 2012 11:12:20 PM UTC+1, austin...@hotmail.com wrote:
> I am in my late seventies and I have spent a lot of time and effort promoting Ada through some cryptography I have invented that is a world first in “Theoretically Unbreakable” ciphers.
> 
> I have used a gnat311.p compiler for all of this that came with the textbook I used to teach myself Ada-95.
> 
> What I need to know from some young blood in the know is this, “will my stuff run straight off in a revised compiler like say Ada-2005 without some editing.
> 
> I want to be able to tell other users whether it does or not.
> 
> An obvious answer might be “suck it and see” – I’m a bit knackered however and I can’t get around easily these days so if some kind person who knows the answer straight off could tell me then I would be very grateful.
> 
> - adacrypt



On Thursday, March 29, 2012 11:12:20 PM UTC+1, austin...@hotmail.com wrote:
> I am in my late seventies and I have spent a lot of time and effort promoting Ada through some cryptography I have invented that is a world first in “Theoretically Unbreakable” ciphers.
> 
> I have used a gnat311.p compiler for all of this that came with the textbook I used to teach myself Ada-95.
> 
> What I need to know from some young blood in the know is this, “will my stuff run straight off in a revised compiler like say Ada-2005 without some editing.
> 
> I want to be able to tell other users whether it does or not.
> 
> An obvious answer might be “suck it and see” – I’m a bit knackered however and I can’t get around easily these days so if some kind person who knows the answer straight off could tell me then I would be very grateful.
> 
> - adacrypt



On Thursday, March 29, 2012 11:12:20 PM UTC+1, austin...@hotmail.com wrote:
> I am in my late seventies and I have spent a lot of time and effort promoting Ada through some cryptography I have invented that is a world first in “Theoretically Unbreakable” ciphers.
> 
> I have used a gnat311.p compiler for all of this that came with the textbook I used to teach myself Ada-95.
> 
> What I need to know from some young blood in the know is this, “will my stuff run straight off in a revised compiler like say Ada-2005 without some editing.
> 
> I want to be able to tell other users whether it does or not.
> 
> An obvious answer might be “suck it and see” – I’m a bit knackered however and I can’t get around easily these days so if some kind person who knows the answer straight off could tell me then I would be very grateful.
> 
> - adacrypt



On Thursday, March 29, 2012 11:12:20 PM UTC+1, austin...@hotmail.com wrote:
> I am in my late seventies and I have spent a lot of time and effort promoting Ada through some cryptography I have invented that is a world first in “Theoretically Unbreakable” ciphers.
> 
> I have used a gnat311.p compiler for all of this that came with the textbook I used to teach myself Ada-95.
> 
> What I need to know from some young blood in the know is this, “will my stuff run straight off in a revised compiler like say Ada-2005 without some editing.
> 
> I want to be able to tell other users whether it does or not.
> 
> An obvious answer might be “suck it and see” – I’m a bit knackered however and I can’t get around easily these days so if some kind person who knows the answer straight off could tell me then I would be very grateful.
> 
> - adacrypt



On Thursday, March 29, 2012 11:12:20 PM UTC+1, austin...@hotmail.com wrote:
> I am in my late seventies and I have spent a lot of time and effort promoting Ada through some cryptography I have invented that is a world first in “Theoretically Unbreakable” ciphers.
> 
> I have used a gnat311.p compiler for all of this that came with the textbook I used to teach myself Ada-95.
> 
> What I need to know from some young blood in the know is this, “will my stuff run straight off in a revised compiler like say Ada-2005 without some editing.
> 
> I want to be able to tell other users whether it does or not.
> 
> An obvious answer might be “suck it and see” – I’m a bit knackered however and I can’t get around easily these days so if some kind person who knows the answer straight off could tell me then I would be very grateful.
> 
> - adacrypt




^ permalink raw reply	[flat|nested] 8+ messages in thread

* Re: Switching to a more recent compiler.
  2012-03-29 22:12 Switching to a more recent compiler austin.obyrne
                   ` (2 preceding siblings ...)
  2012-03-30 13:26 ` austin.obyrne
@ 2012-03-30 13:29 ` austin.obyrne
  2012-04-03  0:56 ` Gautier write-only
  4 siblings, 0 replies; 8+ messages in thread
From: austin.obyrne @ 2012-03-30 13:29 UTC (permalink / raw)


On Thursday, March 29, 2012 11:12:20 PM UTC+1, austin...@hotmail.com wrote:
> I am in my late seventies and I have spent a lot of time and effort promoting Ada through some cryptography I have invented that is a world first in “Theoretically Unbreakable” ciphers.
> 
> I have used a gnat311.p compiler for all of this that came with the textbook I used to teach myself Ada-95.
> 
> What I need to know from some young blood in the know is this, “will my stuff run straight off in a revised compiler like say Ada-2005 without some editing.
> 
> I want to be able to tell other users whether it does or not.
> 
> An obvious answer might be “suck it and see” – I’m a bit knackered however and I can’t get around easily these days so if some kind person who knows the answer straight off could tell me then I would be very grateful.
> 
> - adacrypt

Many thanks - that is what I expected - I see no advantage in going over to Ada-2005 just to modernise.

Cheers - adacrypt



^ permalink raw reply	[flat|nested] 8+ messages in thread

* Re: Switching to a more recent compiler.
  2012-03-29 22:12 Switching to a more recent compiler austin.obyrne
                   ` (3 preceding siblings ...)
  2012-03-30 13:29 ` austin.obyrne
@ 2012-04-03  0:56 ` Gautier write-only
  2012-04-03  8:01   ` Simon Wright
  4 siblings, 1 reply; 8+ messages in thread
From: Gautier write-only @ 2012-04-03  0:56 UTC (permalink / raw)


On 30 mar, 00:12, austin.oby...@hotmail.com wrote:

> What I need to know from some young blood in the know is this, “will my stuff run straight off in a revised compiler like say Ada-2005 without some editing.

There is a very high probability it will, provided you don't use
identifiers that have become keywords in Ada 2005: "interface",
"overriding", "synchronized".
You can continue programming Ada 95 with an Ada 2005 compiler.
You will just benefit from the improvement of compile-time
diagnostics.
They have become very smart over time.
So the main surprise that may arise by switching from GNAT 3.11 to a
recent version of GNAT might be a number of new warnings about
uninitialized variables, or about the wrong assumption that s'First=1
if s is a String parameter, or unused code or variables, or
potentially infinite loops, etc.
_________________________
Gautier's Ada programming
http://sf.net/users/gdemont/



^ permalink raw reply	[flat|nested] 8+ messages in thread

* Re: Switching to a more recent compiler.
  2012-04-03  0:56 ` Gautier write-only
@ 2012-04-03  8:01   ` Simon Wright
  0 siblings, 0 replies; 8+ messages in thread
From: Simon Wright @ 2012-04-03  8:01 UTC (permalink / raw)


Gautier write-only <gautier_niouzes@hotmail.com> writes:

> On 30 mar, 00:12, austin.oby...@hotmail.com wrote:
>
>> What I need to know from some young blood in the know is this, “will
>> my stuff run straight off in a revised compiler like say Ada-2005
>> without some editing.
>
> There is a very high probability it will, provided you don't use
> identifiers that have become keywords in Ada 2005: "interface",
> "overriding", "synchronized".

And even then, (with GNAT), you can use the -gnat95 flag to retain the
older language model. You still get warnings.



^ permalink raw reply	[flat|nested] 8+ messages in thread

end of thread, other threads:[~2012-04-03  8:01 UTC | newest]

Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-03-29 22:12 Switching to a more recent compiler austin.obyrne
2012-03-29 22:30 ` Shark8
2012-03-29 22:51   ` Adam Beneschan
2012-03-29 23:07 ` Adam Beneschan
2012-03-30 13:26 ` austin.obyrne
2012-03-30 13:29 ` austin.obyrne
2012-04-03  0:56 ` Gautier write-only
2012-04-03  8:01   ` Simon Wright

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