comp.lang.ada
 help / color / mirror / Atom feed
* Have I found an error in the index of the ARM?
@ 2020-02-27 22:54 mgr
  2020-02-28  3:25 ` Randy Brukardt
  0 siblings, 1 reply; 2+ messages in thread
From: mgr @ 2020-02-27 22:54 UTC (permalink / raw)


Hello,

While generating some stubs (wiki draft) for the Ada Programming 
wikibook, I've found an inconsistency that ultimately comes from the 
index of Ada 2005 and 2012 Reference Manual.

The index in Wikibooks [1] was probably derived from the RM index [2]. I 
generated the stubs from the actual package names provided by GNAT 
implementation. As can be seen in the Wikibooks index, some  links are 
broken, despite having generated stubs for all the Ada children. The 
index in Wikibooks follows the RM index:

Ada.Wide_Text_IO.Bounded_IO   A.11(4/3)
Ada.Wide_Text_IO.Unbounded_IO   A.11(5/3)

Ada.Wide_Wide_Text_IO.Bounded_IO   A.11(4/3)
Ada.Wide_Wide_Text_IO.Unbounded_IO   A.11(5/3)

But in A.11 [3] the package names repeat Wide[_Wide] at the 
grandchildren level:
4/3
The specification of package Wide_Text_IO.Wide_Bounded_IO is the same as

5/3
The specification of package Wide_Text_IO.Wide_Unbounded_IO is the same

So generated stubs are not linked to the index. I guess the problem is 
in the RM index, because implementors have follow the letter of A.11.


[1] https://en.wikibooks.org/wiki/Ada_Programming/Libraries/Ada
[2] http://www.ada-auth.org/standards/12rm/html/RM-0-4.html
[3] http://www.ada-auth.org/standards/12rm/html/RM-A-11.html


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

* Re: Have I found an error in the index of the ARM?
  2020-02-27 22:54 Have I found an error in the index of the ARM? mgr
@ 2020-02-28  3:25 ` Randy Brukardt
  0 siblings, 0 replies; 2+ messages in thread
From: Randy Brukardt @ 2020-02-28  3:25 UTC (permalink / raw)


"mgr" <mgrojo@gmail.com> wrote in message 
news:r39hbm$1ovc$1@gioia.aioe.org...
> While generating some stubs (wiki draft) for the Ada Programming wikibook, 
> I've found an inconsistency that ultimately comes from the index of Ada 
> 2005 and 2012 Reference Manual.

The index isn't normative in any way, so it doesn't get the amount of review 
that the rest of the RM does. (The AARM index also includes a number of 
jokes, a tradition started by Bob Duff and one continued by me. Enjoy 
finding them...)  The index entries are mostly constructed by hand (outside 
of the various entity indexes, and even those are sometimes hand 
constructed).

Did you check the working draft of the RM? Errors in the older standards are 
pretty much there for all time, no one is going to edit those to correct 
them.

Anyway, this sort of comment should be sent to Ada-Comment so that it gets 
reviewed, logged, and eventually corrected. Putting it on a random forum 
means it will easily get lost (my seeing your note is not something that 
should be counted on).

                  Randy Brukardt, ARG Editor.



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

end of thread, other threads:[~2020-02-28  3:25 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-02-27 22:54 Have I found an error in the index of the ARM? mgr
2020-02-28  3:25 ` Randy Brukardt

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