9 Oct
2012
9 Oct
'12
1:34 a.m.
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