On Tue, Mar 10, 2009 at 12:27 PM, Sylvain Pion <sylvain.p...@sophia.inria.fr> wrote:
> Other ways might be possible. E.g. avoiding the wrapping if > the associativity concept/axiom is somehow local to the function > and does not leak elsewhere if you provide an Associativity > concept_map for double (or are "scoped concept maps" about > this issue ? I should learn about this.). A general idea behind axioms is that they hold for the values and archetypes in a generic function -- even if globally they may not be universally true. That is the local aspect of axioms. Of course, you can make (global) concept_maps too. Anyway, I think you would NOT want the compiler to disable useful optimizations globally, but only where some transformations may not be appropriate. -- Gaby
