message: Add DT_HALF to the list of floating point types
diff: @@ -45,7 +45,8 @@ extern const char* const DEVICE_XLA_CPU;
  extern const char* const DEVICE_XLA_GPU;
  constexpr std::array<DataType, 2> kIntTypes = {{DT_INT32, DT_INT64}};
  -constexpr std::array<DataType, 2> kFloatTypes = {{DT_FLOAT, DT_DOUBLE}};
  +constexpr std::array<DataType, 3> kFloatTypes = {
  + {DT_HALF, DT_FLOAT, DT_DOUBLE}};
  constexpr std::array<DataType, 4> kNumericTypes = {
  {DT_INT32, DT_INT64, DT_FLOAT, DT_DOUBLE}};
  