+2015-05-22 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch4.adb: Minor rewording.
+ * exp_util.ads: Clarify that Find_Prim_Op is only for
+ tagged types.
+
2015-05-22 Robert Dewar <dewar@adacore.com>
* atree.adb, atree.ads, treepr.adb: Change name Needs_Actuals_Check to
if Is_Integer_Type (Rtyp)
- -- The base value must be safe, compile-time known, and exactly 2
+ -- The base value must be "safe compile-time known", and exactly 2
and then Nkind (Base) = N_Integer_Literal
and then CRT_Safe_Compile_Time_Known_Value (Base)
and then Esize (Root_Type (Exptyp)) <= Esize (Standard_Integer)
-- This transformation is not applicable for a modular type with a
- -- nonbinary modulus because we do not handle modular reduction in
+ -- non-binary modulus because we do not handle modular reduction in
-- a correct manner if we attempt this transformation in this case.
and then not Non_Binary_Modulus (Typ)
-- return the record component containing the tag of Iface.
function Find_Prim_Op (T : Entity_Id; Name : Name_Id) return Entity_Id;
- -- Find the first primitive operation of type T whose name is 'Name'.
+ -- Find the first primitive operation of a tagged type T with name Name.
-- This function allows the use of a primitive operation which is not
- -- directly visible. If T is a class wide type, then the reference is
- -- to an operation of the corresponding root type. Raises Program_Error
- -- exception if no primitive operation is found. This is normally an
- -- internal error, but in some cases is an expected consequence of
- -- illegalities elsewhere.
+ -- directly visible. If T is a class wide type, then the reference is to an
+ -- operation of the corresponding root type. Raises Program_Error exception
+ -- if no primitive operation is found. This is normally an internal error,
+ -- but in some cases is an expected consequence of illegalities elsewhere.
function Find_Prim_Op
(T : Entity_Id;