@@ -45,22 +45,22 @@ mechanism through a value duplication ('Clone) and post update adjustment
4545Note that this extra complexity is driven from the desire to support natively
4646Ada constructs (aggregates, partial copies, etc) and improve compatibility
4747between classes and tagged types. Users can leverage default implementation if
48- such level of control is unecessary . Some language extension may also allow
48+ such level of control is unnecessary . Some language extensions may also allow
4949to forbid aggregates and partial update on specific types (although this
50- introduces complexities in generics that now need to specify wether these
50+ introduces complexities in generics that now need to specify whether these
5151restricted types are allowed or not).
5252
5353Also keep in mind that Ada Flare aggregates also need to account for types that
5454have both public and private components.
5555
56- This RFC is about tagged record (and class records even if not explicitely
57- mentionned ). Simple records should also be studied when constructors are made
56+ This RFC is about tagged records (and class records even if not explicitly
57+ mentioned ). Simple records should also be studied when constructors are made
5858available to them.
5959
6060The additional capabilities need to be optimized as much as possible by the
6161compiler. In particular - even if it's not a language mandate - the compiler
6262should replace calls to Clone by binary copies and remove calls to Adjust when
63- it knows there's no chance of calling an overriden subprogram.
63+ it knows there's no chance of calling an overridden subprogram.
6464
6565'Clone
6666------
@@ -95,17 +95,17 @@ Calls to 'Clone are statically resolved when used on definite views, and
9595dynamically resolved on 'Class wide type. This is arguably a departure from the
9696"all calls are dispatching" requirement from other aspects of the OOP design,
9797but is required to allow partial copies of objects which are done today in
98- various places Ada.
98+ various places in Ada.
9999
100100The invariant of the target object is not checked after a call to Clone, some
101101parts may still be inconsistent and fixed later by Adjust.
102102
103103'Adjust
104104-------
105105
106- 'Adjust is a overridable attribute called after certain operations. It is
106+ 'Adjust is an overridable attribute called after certain operations. It is
107107different from the legacy Ada Adjust primitive in that it has an argument
108- refering to the initial value. Note that the From parameter of adjust is
108+ referring to the initial value. Note that the From parameter of Adjust is
109109always typed after the root type of the tagged record hierarchy - indeed, the source
110110object may be higher up in the derivation chain in the case of partial
111111copy. This value is provided for reference but is not expected to be
0 commit comments