Re: [boost] Re: Re: How to do this inwithboost--assert(typeid(T)==typeid(bool) )

2003-01-11 Thread Paul Mensonides
- Original Message - From: "David Abrahams" <[EMAIL PROTECTED]> ... > I mean that if a metafunction is a template instead of a type you > can't treat it polymorphically with other things, e.g. you can't put > it in a type sequence. Yes, you can with the appropriate binders. That is what

Re: [boost] Re: Re: How to do this inwithboost--assert(typeid(T)==typeid(bool) )

2003-01-11 Thread David Abrahams
"Paul Mensonides" <[EMAIL PROTECTED]> writes: > - Original Message - > From: "David Abrahams" <[EMAIL PROTECTED]> > >> >> >> AFAICT from browsing it quickly, the significance of TTP in your code >> is that you are passing templates instead of types as functions in the >> interfaces to you

Re: [boost] Re: Re: How to do this inwithboost--assert(typeid(T)==typeid(bool) )

2003-01-10 Thread Paul Mensonides
- Original Message - From: "David Abrahams" <[EMAIL PROTECTED]> > > > AFAICT from browsing it quickly, the significance of TTP in your code > is that you are passing templates instead of types as functions in the > interfaces to your metafunctions, which I think is inadvisable, > because

Re: [boost] Re: Re: How to do this inwithboost--assert(typeid(T)==typeid(bool) )

2003-01-10 Thread David Abrahams
"Paul Mensonides" <[EMAIL PROTECTED]> writes: > - Original Message - > From: "David Abrahams" <[EMAIL PROTECTED]> > >> "Paul Mensonides" <[EMAIL PROTECTED]> writes: >> >> > Which could be even shorter yet if we could get away with template >> > template parameters. >> >> We can and do. >>

Re: [boost] Re: Re: How to do this inwithboost--assert(typeid(T)==typeid(bool) )

2003-01-09 Thread Paul Mensonides
- Original Message - From: "David Abrahams" <[EMAIL PROTECTED]> > "Paul Mensonides" <[EMAIL PROTECTED]> writes: > > > Which could be even shorter yet if we could get away with template > > template parameters. > > We can and do. > > How would you imagine it would be spelled with TTP? You

Re: [boost] Re: Re: How to do this inwithboost--assert(typeid(T)==typeid(bool) )

2003-01-09 Thread Terje Slettebø
>From: "David B. Held" <[EMAIL PROTECTED]> > "Paul Mensonides" <[EMAIL PROTECTED]> wrote in message > 000901c2b823$1e7f4aa0$8c00a8c0@c161550b">news:000901c2b823$1e7f4aa0$8c00a8c0@c161550b... > From: "Terje Slettebø" <[EMAIL PROTECTED]> > > > [...] > > BOOST_STATIC_ASSERT((\ > > boost::is_same::v

Re: [boost] Re: Re: How to do this inwithboost--assert(typeid(T)==typeid(bool) )

2003-01-09 Thread Paul Mensonides
- Original Message - From: "David B. Held" <[EMAIL PROTECTED]> To: <[EMAIL PROTECTED]> Sent: Thursday, January 09, 2003 1:16 PM Subject: [boost] Re: Re: How to do this in withboost--assert(typeid(T)==typeid(bool) ) > "Paul Mensonides" <[EMAIL PROTECTED]> wrote in message > 000901c2b823$1

Re: [boost] Re: Re: How to do this inwithboost--assert(typeid(T)==typeid(bool) )

2003-01-09 Thread David Abrahams
"Paul Mensonides" <[EMAIL PROTECTED]> writes: > Which could be even shorter yet if we could get away with template > template parameters. We can and do. How would you imagine it would be spelled with TTP? -- David Abrahams [EMAIL PROTECTED] * http://www.boost-consul