comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: ANN: Ada 2005 Math Extensions, 20100810 release
Date: Sun, 15 Aug 2010 20:18:04 +0200
Date: 2010-08-15T20:18:02+02:00	[thread overview]
Message-ID: <105oi361zdp2y$.uro3yvt9xpc3.dlg@40tude.net> (raw)
In-Reply-To: m2fwyfu7o4.fsf@pushface.org

On Sun, 15 Aug 2010 18:06:51 +0100, Simon Wright wrote:

> In this case I had to use Complex_Arrays.Real_Arrays.Real because of the
> sort of problems you indicate.

One part of that problem was that such names became mysteriously hidden
upon instantiation in the generic bodies. The compiler claimed that Real
was not declared in Real_Arrays, or that Real_Arrays was not declared in
Complex_Arrays, or that Real does not match the type Real of Real_Arrays
etc. It was the worst kind of error I ever had. You have 20+ generic units.
Every body compiles. Then in a chain of 20 generic instantiations #15
fails. You try another variant, refactor this, that, rewrite parent's
children to their parameters or reverse. Two weeks later #17 fails. You
cannot test anything before a modification cycle is complete, because first
10 instantiations are always fine. Basically this is how we are accustomed
to work with C++ templates, but not with Ada. It is stable now, but anxiety
flows through my bones each time I try a new GNAT on it...

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de



      reply	other threads:[~2010-08-15 18:18 UTC|newest]

Thread overview: 37+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-08-10 21:38 ANN: Ada 2005 Math Extensions, 20100810 release Simon Wright
2010-08-11 11:40 ` Ada novice
2010-08-11 21:38 ` Simon Wright
2010-08-12  5:57   ` Dmitry A. Kazakov
2010-08-12 19:45     ` Simon Wright
2010-08-13  6:27       ` Dmitry A. Kazakov
2010-08-13  6:54         ` Ludovic Brenta
2010-08-13 13:36           ` Yannick Duchêne (Hibou57)
2010-08-13  7:42         ` Georg Bauhaus
2010-08-13  8:40           ` Dmitry A. Kazakov
2010-08-13 13:41             ` Yannick Duchêne (Hibou57)
2010-08-13 13:57               ` Dmitry A. Kazakov
2010-08-13 13:31         ` Yannick Duchêne (Hibou57)
2010-08-13 13:48           ` Dmitry A. Kazakov
2010-08-13 19:50         ` Simon Wright
2010-08-13 20:17           ` Yannick Duchêne (Hibou57)
2010-08-13 22:04             ` Simon Wright
2010-08-13 22:28               ` Yannick Duchêne (Hibou57)
2010-08-13 22:30                 ` Yannick Duchêne (Hibou57)
2010-08-14 16:12                 ` Simon Wright
2010-08-14 17:16                   ` Dmitry A. Kazakov
2010-08-14 17:34                     ` Jeffrey Carter
2010-08-14 19:18                       ` Simon Wright
2010-08-14 23:51                         ` Georg Bauhaus
2010-08-15  0:57                           ` Yannick Duchêne (Hibou57)
2010-08-15  2:27                           ` Jeffrey Carter
2010-08-12 10:36   ` Stephen Leake
2010-08-12 12:48     ` sjw
2010-08-14  1:05       ` Stephen Leake
2010-08-14 16:26         ` Simon Wright
2010-08-14 17:24           ` Dmitry A. Kazakov
2010-08-14 19:16             ` Simon Wright
2010-08-14 20:48               ` Dmitry A. Kazakov
2010-08-14 21:55                 ` Simon Wright
2010-08-15  6:14                   ` Dmitry A. Kazakov
2010-08-15 17:06                     ` Simon Wright
2010-08-15 18:18                       ` Dmitry A. Kazakov [this message]
replies disabled

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