[boost] Re: Preview of the Function Types library (function_traitsreplacement)

From: Tobias Schwinger (tschwinger_at_[hidden])
Date: 2005-02-27 13:55:40

Andy Little wrote:
> 

Thanks for the fixes !
The online version has been corrected.

in  function_type_result.hpp:
> 
> namespace boost {
> //------------------------------------------------------------------------------
> namespace function_types
> {
>   namespace detail
>   {
>     template<typename S,typename K> struct result_impl
>       : mpl::at_c< S, 0 >
>     { };
> 
> 
> /////////////////////////////////////////////////
>    // struct result_impl <S,no_function,I>
Yeah, this is wrong !
> ///////////////////////////////////////
>    template<typename S>
> /////////
>     struct result_impl <no_function,S>

Well, it should be <S,no_function> to work (this specialization is to 
keep the type member from being defined if used incorrectly with a 
non-function type, the other way around <no_function,S> doesn't keep 
things from working but doesn't do anything useful, either).
>     { };
>   }
> 
> in function_type_parameter.hpp:
> 
> line 44 :
> ////////////////////
>    // , typename detail::mask_fun_kind_attr
> //////////////
>    , typename detail::mask_func_kind_attr
> //////////

Agreed, here.
> 
> regards
> Andy Little
> 
> 

It shows me that I have to write more tests/examples, very soon...

Regards,

Tobias