Skip to content

Commit

Permalink
Clarification: explicitly mentioning parent type
Browse files Browse the repository at this point in the history
  • Loading branch information
gusthoff committed Oct 12, 2024
1 parent bc9a8b1 commit 1d38944
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion content/courses/advanced-ada/parts/data_types/records.rst
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 1d38944

Please sign in to comment.