Boost logo

Boost :

Subject: Re: [boost] [contract] concepts: pseudo-signatures vs. usage patterns
From: Andrew Sutton (asutton.list_at_[hidden])
Date: 2012-10-11 20:12:55

> You're missing the point. I claim the associated "argument type" of
> Predicate is char. The value type of the sequence (int) is convertible
> to the associated argument type. That's all that's required according
> to the text.

Sorry... you're right. If the requirement is that the value type is
convertible to the argument type, then yes. Fortunately that's not
what we required in n3351.

Boost list run by bdawes at, gregod at, cpdaniel at, john at