Re: [boost] [contract] toward N3351 concepts

Subject: Re: [boost] [contract] toward N3351 concepts
From: Nathan Ridge (zeratul976_at_[hidden])
Date: 2012-10-08 21:34:53

> Or what mechanism should be used to allow types which fulfil axioms only
> partly? axiom_cast<double,TotallyOrdered> ?

I would prefer something like this - explicitly overriding axiom-checking 
in the few cases where this would need to be done - over losing the 
benefits of the compiler checking the axioms in cases where it can (which 
are probably also few, but they exist).

Regards,
Nate