Jean-Pierre Rosen wrote in message <8rt642$g5r$1@wanadoo.fr>... > >"Marin David Condic" a �crit dans le message news: 39DF3347.38C82563@acm.org... >> If I were the Judge, my legislating from the bench would go like this: "You >> guys wrote this ARM. The ARM defines the Ada language. The packages in the >> annexes are thus part of the Ada Language. >Well, the cover says: "Ada : the language. The standard libraries". One could argue that everything after the cardboard page belongs >to the standard libraries and not the language... > >Picky lawyer hat off: Of course, "language defined types" applies to all types defined in the LRM. :-) If you look in the index, you'll find, indexed under "language-defined types", a list of all of the language defined types. It includes Unbounded_String and all of the other things declared in those packages. While the index isn't normative, its pretty clear what the intent of the language designers was. Randy.