Re: [boost] Re: Re: is_convertible: rationale and wording

2003-04-27 Thread David Abrahams
Mike Conley <[EMAIL PROTECTED]> writes: > "John Maddock" <[EMAIL PROTECTED]> wrote in > news:[EMAIL PROTECTED]: > >> The problem is that the question "is A convertible to B" has four >> answers: yes, no, ill-formed, and ambiguous :-( >> >> John. > > Obviously, I think there should be only two :)

[boost] Re: Re: is_convertible: rationale and wording

2003-04-27 Thread Mike Conley
"John Maddock" <[EMAIL PROTECTED]> wrote in news:[EMAIL PROTECTED]: > The problem is that the question "is A convertible to B" has four > answers: yes, no, ill-formed, and ambiguous :-( > > John. Obviously, I think there should be only two :) That is, it would be nice to have a test that tell

Re: [boost] Re: Re: is_convertible: rationale and wording

2003-04-26 Thread David Abrahams
Mike Conley <[EMAIL PROTECTED]> writes: > David Abrahams <[EMAIL PROTECTED]> wrote in > news:[EMAIL PROTECTED]: > >> This one is sticky. >> >> class Y : X { true_type f() { return is_convertible::type(); >> } }; false_type x = is_convertible::type(); >> > > I'm not sure I see the pr

[boost] Re: Re: is_convertible: rationale and wording

2003-04-26 Thread Mike Conley
David Abrahams <[EMAIL PROTECTED]> wrote in news:[EMAIL PROTECTED]: > This one is sticky. > > class Y : X { true_type f() { return is_convertible::type(); > } }; false_type x = is_convertible::type(); > I'm not sure I see the problem here. If is_convertible is a built in compile