From 1d38944efc31215e977e755a85138ed09fcff825 Mon Sep 17 00:00:00 2001 From: gusthoff Date: Sat, 12 Oct 2024 13:48:45 +0200 Subject: [PATCH] Clarification: explicitly mentioning parent type --- content/courses/advanced-ada/parts/data_types/records.rst | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/content/courses/advanced-ada/parts/data_types/records.rst b/content/courses/advanced-ada/parts/data_types/records.rst index 96e7c6c27..f5b1e5b0d 100644 --- a/content/courses/advanced-ada/parts/data_types/records.rst +++ b/content/courses/advanced-ada/parts/data_types/records.rst @@ -2690,7 +2690,8 @@ We can then declare the :ada:`Derived_Rec` type: Note that :ada:`Derived_Rec` has unknown discriminants, even though we're not explicitly using an unknown discriminant part (:ada:`(<>)`) in its declaration. (In fact, we're not allowed to use an unknown discriminant part in this case.) -Therefore, declaring objects of this type directly isn't possible: +Therefore, declaring objects of this type directly isn't possible, just like +the parent type :ada:`Rec`: .. code:: ada compile_button project=Courses.Advanced_Ada.Data_Types.Records.Unknown_Discriminants.Derived_Type :class: ada-expect-compile-error