---

yaml
---
r: 262139
b: refs/heads/tensorflow
c: 6fb5f64
h: refs/heads/master
i:
  262137: 098756a
  262135: 8c2c838

Author: rxwei

[refs]

@@ -818,7 +818,7 @@ refs/tags/swift-DEVELOPMENT-SNAPSHOT-2018-04-25-a: 22f738a831d43aff2b9c9773bcb65
 refs/tags/swift-DEVELOPMENT-SNAPSHOT-2018-05-08-a: 7d98cc16689baba5c8a3b90a9329bdcc1a12b4e9
 refs/heads/cherr42: a566ad54b073c2c56ac0a705d0a5bed9743135a5
 "refs/heads/codable_test_comment_fix": fc8f6824f7f347e1e8db55bff62db385c5728b5a
-refs/heads/tensorflow: 96ad0c9a209d863d447ad95fb4c7f0fbd66bede6
+refs/heads/tensorflow: 6fb5f64d5669d4cf9b5add8737e502d90efd8a09
 refs/tags/swift-4.1-DEVELOPMENT-SNAPSHOT-2018-05-11-a: 8126fd7a652e2f70ad6d76505239e34fb2ef3e1a
 refs/tags/swift-4.1-DEVELOPMENT-SNAPSHOT-2018-05-12-a: b3fd3dd84df6717f2e2e9df58c6d7e99fed57086
 refs/tags/swift-4.1-DEVELOPMENT-SNAPSHOT-2018-05-13-a: 71135119579039dc321c5f65d870050fe36efda2

branches/tensorflow/stdlib/public/core/AutoDiff.swift

@@ -59,20 +59,18 @@ public protocol ShapedVectorNumeric : VectorNumeric {
 /// A type that mathematically represents a differentiable manifold whose
 /// tangent spaces are finite-dimensional.
 public protocol Differentiable {
-  /// The tangent vector space of this differentiable manifold.
-  associatedtype TangentVector : Differentiable & VectorNumeric
+  /// The tangent bundle of this differentiable manifold.
+  associatedtype TangentVector : Differentiable & AdditiveArithmetic
     // FIXME(SR-9595): Unexpected error when type checking constrained
     // associated types.
-    where // TangentVector.Scalar : FloatingPoint,
-          TangentVector.TangentVector == TangentVector,
+    where TangentVector.TangentVector == TangentVector,
           TangentVector.CotangentVector == CotangentVector
 
-  /// The cotangent vector space of this differentiable manifold.
-  associatedtype CotangentVector : Differentiable & VectorNumeric
+  /// The cotangent bundle of this differentiable manifold.
+  associatedtype CotangentVector : Differentiable & AdditiveArithmetic
     // FIXME(SR-9595): Unexpected error when type checking constrained
     // associated types.
-    where // CotangentVector.Scalar : FloatingPoint,
-          CotangentVector.TangentVector == CotangentVector,
+    where CotangentVector.TangentVector == CotangentVector,
           CotangentVector.CotangentVector == TangentVector
 
   /// Returns `self` moved along the value space towards the given tangent
@@ -84,11 +82,11 @@ public protocol Differentiable {
   func tangentVector(from cotangent: CotangentVector) -> TangentVector
 }
 
-// FIXME: The `Self : VectorNumeric` constraint should be implied by
+// FIXME: The `Self : AdditiveArithmetic` constraint should be implied by
 // `TangentVector == Self`, but the type checker errors out when it does not
 // exist.
 public extension Differentiable
-  where TangentVector == Self, Self : VectorNumeric {
+  where TangentVector == Self, Self : AdditiveArithmetic {
   func moved(along direction: TangentVector) -> Self {
     return self + direction
   }