c++0x vs. tr1 type_traits, round 1

[Benjamin Kosnik]

> If there's anything I can do to help, I'm happy to.  I'd be happy to 
> post an implementation of make_(un)signed.  It is essentially built out 
> of type lists (one list for signed integral types and one list for 
> unsigned integral types).  bool, char and wchar_t, according to 3.9 are 
> neither, though for sanity purposes, they do react to is_(un)signed in 
> the intuitive fashion instead of according to 3.9.  Perhaps this is what 
> you are referring to as the algebra being off?

I posted a preliminary patch here:
http://gcc.gnu.org/ml/libstdc++/2007-04/msg00160.html

Your help would certainly be most welcome!

-benjamin