Rename "associated differentiation function".

Author: rxwei

docs/SIL.rst

@@ -5623,10 +5623,9 @@ differentiable_function
   differentiable_function [wrt 0] %0 : $(T) -> T \
     with {%1 : $(T) -> (T, (T) -> T), %2 : $(T) -> (T, (T) -> T)}
 
-Bundles a function with its associated differentiation functions into a
-``@differentiable`` function. There are two derivative functions:
-a Jacobian-vector products (JVP) function and a vector-Jacobian products (VJP)
-function.
+Bundles a function with its derivative functions into a ``@differentiable``
+function. There are two derivative functions: a Jacobian-vector products (JVP)
+function and a vector-Jacobian products (VJP) function.
 
 ``[wrt ...]`` specifies parameter indices that the original function is
 differentiable with respect to. When not specified, it defaults to all

include/swift/AST/DiagnosticsSema.def

@@ -2859,8 +2859,7 @@ ERROR(implements_attr_protocol_not_conformed_to,none,
 ERROR(differentiable_attr_void_result,none,
       "cannot differentiate void function %0", (DeclName))
 ERROR(differentiable_attr_associated_function_protocol,none,
-      "cannot specify associated differentiation function on protocol "
-      "requirement", ())
+      "cannot specify derivative functions on protocol requirements", ())
 ERROR(differentiable_attr_overload_not_found,none,
       "%0 does not have expected type %1", (DeclName, Type))
 ERROR(differentiable_attr_no_currying,none,
@@ -2874,17 +2873,17 @@ NOTE(differentiable_attr_duplicate_note,none,
 ERROR(differentiable_attr_function_not_same_type_context,none,
       "%0 is not defined in the current type context", (DeclName))
 ERROR(differentiable_attr_specified_not_function,none,
-      "%0 is not a function to be used as associated differentiation function",
+      "%0 is not a function to be used as derivative function",
       (DeclName))
 ERROR(differentiable_attr_class_derivative_not_final,none,
       "class member derivative must be final", ())
 ERROR(differentiable_attr_ambiguous_function_identifier,none,
       "ambiguous or overloaded identifier %0 cannot be used in '@differentiable' "
       "attribute", (DeclName))
 ERROR(differentiable_attr_invalid_access,none,
-      "associated differentiation function %0 is required to either be public "
-      "or @usableFromInline because the original function %1 is public or "
-      "@usableFromInline", (DeclName, DeclName))
+      "deriavtive function %0 is required to either be public or "
+      "'@usableFromInline' because the original function %1 is public or "
+      "'@usableFromInline'", (DeclName, DeclName))
 ERROR(differentiable_attr_result_not_differentiable,none,
       "can only differentiate functions with results that conform to "
       "'Differentiable', but %0 does not conform to 'Differentiable'", (Type))

include/swift/SIL/SILInstruction.h

@@ -7846,8 +7846,8 @@ class TryApplyInst final
 
 // SWIFT_ENABLE_TENSORFLOW
 /// `differentiable_function` - given a function and differentiation indices and
-/// its associated differentiation functions, create an `@differentiable`
-/// function that represents a bundle of these functions and configurations.
+/// its derivative functions, create an `@differentiable` function that
+/// represents a bundle of these functions and configurations.
 class DifferentiableFunctionInst final :
     public InstructionBaseWithTrailingOperands<
                SILInstructionKind::DifferentiableFunctionInst,