From d49ad69aa8986b6be30e0c200b8a087638ad254e Mon Sep 17 00:00:00 2001 From: gusthoff Date: Mon, 25 May 2026 13:05:01 +0200 Subject: [PATCH 1/6] Editorial: fix incorrect Speed type description in "AdaCore Technologies for Railway Software" MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Correct the description of the Speed type: "time per distance" → "distance per time". Speed is distance divided by time, not the other way around. Co-Authored-By: Claude Sonnet 4.6 --- .../chapters/technology.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/content/booklets/adacore-technologies-for-railway-software/chapters/technology.rst b/content/booklets/adacore-technologies-for-railway-software/chapters/technology.rst index 7cb4547a3..70a9c1a48 100644 --- a/content/booklets/adacore-technologies-for-railway-software/chapters/technology.rst +++ b/content/booklets/adacore-technologies-for-railway-software/chapters/technology.rst @@ -350,8 +350,8 @@ according to their dimension. The system is implemented based on the seven base dimensions (meter, kilogram, second, ampere, kelvin, mole, candela), and will check that operations between these types are consistent. -For example, a type :ada:`Speed` can be defined to represent time per -distance. Consistency between these types is checked at compile time +For example, a type :ada:`Speed` can be defined to represent distance per +time. Consistency between these types is checked at compile time so that dimension errors will be reported as errors. For example: .. code-block:: ada From 866e71595fe8c1137566df28d4e8f496904a9a0e Mon Sep 17 00:00:00 2001 From: gusthoff Date: Mon, 25 May 2026 13:05:01 +0200 Subject: [PATCH 2/6] Editorial: fix identifier typo in "Advanced Ada" aggregates chapter MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Correct :ada:`P_1` → :ada:`P_1D` in the prose description of the delta aggregate example. The code uses P_1D; the text had a truncated name. Co-Authored-By: Claude Sonnet 4.6 --- content/courses/advanced-ada/parts/data_types/aggregates.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/courses/advanced-ada/parts/data_types/aggregates.rst b/content/courses/advanced-ada/parts/data_types/aggregates.rst index 7197615aa..b94f48767 100644 --- a/content/courses/advanced-ada/parts/data_types/aggregates.rst +++ b/content/courses/advanced-ada/parts/data_types/aggregates.rst @@ -1787,7 +1787,7 @@ aggregates in assignments to this object: In the first assignment to :ada:`P_3D` in the example above, we're initializing this object with information from :ada:`P_2D` and specifying the value of the :ada:`Z` component. Then, in the next assignment to the -:ada:`P_3D` object, we're using an aggregate with information from :ada:`P_1` +:ada:`P_3D` object, we're using an aggregate with information from :ada:`P_1D` and specifying values for the :ada:`Y` and :ada:`Z` components. (Just as a reminder, we can write :ada:`Y | Z => 0.1` to assign 0.1 to both :ada:`Y` and :ada:`Z` components.) From 38bfa6f83e6afc434aeaa22c503325e6736da8af Mon Sep 17 00:00:00 2001 From: gusthoff Date: Mon, 25 May 2026 13:05:01 +0200 Subject: [PATCH 3/6] Editorial: fix identifier typo in "Advanced Ada" arrays chapter MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Correct :ada:`M_Max_20` → :ada:`M_Max20` in the prose. The subtype is declared as M_Max20 in the code; the text had a spurious underscore. Co-Authored-By: Claude Sonnet 4.6 --- content/courses/advanced-ada/parts/data_types/arrays.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/courses/advanced-ada/parts/data_types/arrays.rst b/content/courses/advanced-ada/parts/data_types/arrays.rst index 3c457919e..8cdc6d001 100644 --- a/content/courses/advanced-ada/parts/data_types/arrays.rst +++ b/content/courses/advanced-ada/parts/data_types/arrays.rst @@ -771,7 +771,7 @@ Let's use these subtypes in a test application: As expected, assignments to objects with different subtypes |mdash| but with the same parent type |mdash| work fine without conversion. The assignment to -:ada:`M_Max_20` fails because of the predicate failure: the predicate requires +:ada:`M_Max20` fails because of the predicate failure: the predicate requires that the length be 20 at most, and it's 40 in this case. Also, the assignment to :ada:`M_F2` fails because the predicate requires that the first element must be set to :ada:`2.0`, and :ada:`MD10 (1)` has the value 4.0. From 6e24b6c188317c7c8509306b53e4035a58b005d0 Mon Sep 17 00:00:00 2001 From: gusthoff Date: Mon, 25 May 2026 13:05:02 +0200 Subject: [PATCH 4/6] Editorial: fix identifier typo in "Advanced Ada" types chapter MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Correct :ada:`Default_S` → :ada:`Default` in the prose. The constant object is declared as Default in the code; the text used a non-existent name. Co-Authored-By: Claude Sonnet 4.6 --- content/courses/advanced-ada/parts/data_types/types.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/courses/advanced-ada/parts/data_types/types.rst b/content/courses/advanced-ada/parts/data_types/types.rst index 2fbc75409..278119389 100644 --- a/content/courses/advanced-ada/parts/data_types/types.rst +++ b/content/courses/advanced-ada/parts/data_types/types.rst @@ -524,7 +524,7 @@ Let's see an example: end Show_Object_View; In this example, both :ada:`Default` and :ada:`Dev` are constant objects. -However, they have different views: while :ada:`Default_S` has a constant view +However, they have different views: while :ada:`Default` has a constant view because it doesn't have any parts with variable view, :ada:`Dev` has a variable view because it's a private type. Finally, as expected, :ada:`Settings` has a variable view because it's a variable object. From 43cf126dc21d9beeaaa382ce513174849ea8b409 Mon Sep 17 00:00:00 2001 From: gusthoff Date: Mon, 25 May 2026 13:05:02 +0200 Subject: [PATCH 5/6] Editorial: fix procedure name error in "Advanced Ada" containers chapter MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Correct :ada:`Add_Unnamed` → :ada:`Add_Named` in the prose. The aspect used in the example is Add_Named, not Add_Unnamed. Co-Authored-By: Claude Sonnet 4.6 --- .../advanced-ada/parts/resource_management/containers.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/courses/advanced-ada/parts/resource_management/containers.rst b/content/courses/advanced-ada/parts/resource_management/containers.rst index 713ab4720..69cc22382 100644 --- a/content/courses/advanced-ada/parts/resource_management/containers.rst +++ b/content/courses/advanced-ada/parts/resource_management/containers.rst @@ -204,7 +204,7 @@ Let's see a complete code example: end Show_Container_Aggregate_Empty; In this example, we specify the :ada:`Empty` function for the :ada:`Aggregate` -aspect of the container type :ada:`T`. (We also use the :ada:`Add_Unnamed` +aspect of the container type :ada:`T`. (We also use the :ada:`Add_Named` element. You can ignore it for the moment: we'll discuss it later on.) The :ada:`A := []` statement in the :ada:`Show_Container_Aggregate_Empty` From d93598b6d92b91e795bdde14f32c10b4fe475ca6 Mon Sep 17 00:00:00 2001 From: gusthoff Date: Mon, 25 May 2026 13:05:02 +0200 Subject: [PATCH 6/6] Editorial: fix incorrect package name in "Intro to Embedded Systems Programming" MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Correct :ada:`Interfaces.C` → :ada:`Interfaces.C.Strings` in the section heading description. The section covers Interfaces.C.Strings, not the parent Interfaces.C package. Co-Authored-By: Claude Sonnet 4.6 --- .../chapters/multi_language_development.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/courses/intro-to-embedded-sys-prog/chapters/multi_language_development.rst b/content/courses/intro-to-embedded-sys-prog/chapters/multi_language_development.rst index 8d1a74668..fd68d4b3b 100644 --- a/content/courses/intro-to-embedded-sys-prog/chapters/multi_language_development.rst +++ b/content/courses/intro-to-embedded-sys-prog/chapters/multi_language_development.rst @@ -991,7 +991,7 @@ language standard. Package Interfaces.C.Strings ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -Package :ada:`Interfaces.C` declares types and subprograms allowing an Ada +Package :ada:`Interfaces.C.Strings` declares types and subprograms allowing an Ada program to allocate, reference, update, and free C-style strings. In particular, the private type :ada:`chars_ptr` corresponds to a common use of :ada:`char *` in C programs, and an object of this type can be passed to