[For those who is unaware of the subject, Paul is referring to section
14.8.2 of the standard, and, in particular, to this discussion -
http://groups.google.com/groups?selm=003401c1d1f3%24e61ddf20%247772e50c%40c1
61550a]

Paul Mensonides wrote:
> ----- Original Message -----
> From: "Aleksey Gurtovoy" <[EMAIL PROTECTED]>
> 
> > Would it be enough for you to implement the 'is_callable' trait with the
> > desired behavior?
> 
> If they cleaned up that type deduction success/error?/failure garbage, we
> could have it that way too.

Yes, I also happened to think that would be a preferred way to get
equivalent of the hypothetical '__is_well_formed(...)' functionality. 

However, assuming that we got that one or another way, my concern is that
this alone would not be enough to implement the 'is_callable' trait we want.
(But then I am not sure what exactly we want :).

Aleksey
_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost

Reply via email to