[v3] ext/type_traits.h

[Martin Sebor]

Gabriel Dos Reis wrote:
[...]
> | Hmm, looks like we need a "metafunction adapter" for legacy
> | interfaces:
> | 
> |    template <class T>
> |    struct make_type { typedef T type; };
> | 
> | That way make_type<numeric_limits<T>::unsigned_type>::type could
> | be used as a metafunction too ;-)
> 
> Both are reasonable.  I do hope we have something less verbose or
> "cleaver" though. 

So do I (if it's even worth it), but I wasn't really serious about
the adapter thing :)

Martin