Re: [boost] [type_erasure]bug in computed_bases?

Subject: Re: [boost] [type_erasure]bug in computed_bases?
From: Larry Evans (cppljevans_at_[hidden])
Date: 2012-08-28 09:14:51

On 08/28/12 07:22, Larry Evans wrote:
[snip]
> Also, the
> Concepts in Depth tutorial:
> 
> http://steven_watanabe.users.sourceforge.net/type_erasure/libs/type_erasure/doc/html/boost_typeerasure/concept.html
> 
> provides no examples where the 1st template argument to
> concept_interface is an mpl sequence of other concepts, leading the
> casual reader to jump to the conclusion that the Concept arg to
> concept_interface is *not* an mpl sequence.
> 
> Could you please provide a use case for such a concept_interface
> specialization so users could understand when it might be useful? 

I found a mention of it here:

http://steven_watanabe.users.sourceforge.net/type_erasure/libs/type_erasure/doc/html/boost_typeerasure/concept.html#boost_typeerasure.concept.compose

which says:

  Now, arithmetic can be used just like any of the base concepts.
  We can even specialize concept_interface for it.

Could you provide an example for such a specialization on
arithmetic?

TIA.

-regards,
Larry