Skip to content

Commit

Permalink
Editorial change: adding reference to previous subsection
Browse files Browse the repository at this point in the history
  • Loading branch information
gusthoff committed Jul 21, 2024
1 parent 8f9fbe2 commit f42395c
Showing 1 changed file with 2 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -2238,7 +2238,8 @@ all directly in :ada:`Rumplestiltskin_Is_My_Name`.
Ada 2005, it was impossible to create a constant limited object, because
there was no way to initialize it.

The :ada:`(<>)` on type :ada:`T` means that it has *unknown
:ref:`As we discussed before <Adv_Ada_Limited_Types_Unknown_Discriminants>`,
the :ada:`(<>)` on type :ada:`T` means that it has *unknown
discriminants* from the point of view of the client. This is a trick that
prevents clients from creating default-initialized objects (that is,
:ada:`X : T;` is illegal). Thus clients must call :ada:`Make_T` whenever
Expand Down

0 comments on commit f42395c

Please sign in to comment.