[libcxx-commits] [PATCH] D109075: [libc++][NFC] Move concepts to a subheader.

[Arthur O'Dwyer via Phabricator via libcxx-commits]

Quuxplusone requested changes to this revision.
Quuxplusone added inline comments.
This revision now requires changes to proceed.


================
Comment at: libcxx/include/__concepts/arithmetic.h:43-44
+concept __libcpp_signed_integer = __libcpp_is_signed_integer<_Tp>::value;
+template <class _Tp>
+concept __libcpp_floating_point = __libcpp_is_floating_point<_Tp>::value;
+
----------------
`__libcpp_floating_point` is completely unused, as is `__libcpp_is_floating_point`. I believe you should just remove those.
Anyone who wants to know whether a type is float/double/long-double should just use the standard `std::is_floating_point` trait or `std::floating_point` concept. We have no reason to provide a separate version of our own.


================
Comment at: libcxx/include/type_traits:792-793
 
 // __libcpp_is_signed_integer, __libcpp_is_unsigned_integer
-// <concepts> implements __libcpp_signed_integer, __libcpp_unsigned_integer
+// <__concepts/arithmetic.h> implements __libcpp_signed_integer, __libcpp_unsigned_integer
 
----------------
This comment seems no longer useful. Just remove lines 792-794.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D109075/new/

https://reviews.llvm.org/D109075