please approval my patch - add new logical traits to type_traits for logical completeness

[Marc Glisse]

(removing gcc-testresults@ which is for (automated) results of running the 
testsuite, not for patch submission)

On Sat, 9 Feb 2019, ÀîËÕÍú wrote:

>     I have a patch about libstdc++
> include/std/type_traits ,
> testsuite/20_util/logical_traits/requirements/explicit_instantiation.cc
> testsuite/20_util/logical_traits/requirements/typedefs.cc
> testsuite/20_util/logical_traits/value.cc,
> the patch want to add new logical traits , such as exclusive_or ,
> not_exclusive_or, not_conjunction and not_disjunction for logical
> completeness , the detail patch as below:

Hello,

could you say where in the C++ standard these are specified? What paper 
added them, and what is the corresponding feature macro? If those are 
traits that you invented yourself, you will need to get them into the 
standard before we can add them to libstdc++.

-- 
Marc Glisse