More test results...

[Jason Merrill]

>>>>> "Gabriel" == Gabriel Dos Reis <gdr@codesourcery.com> writes:

> While your example is well-formed, I don't think it scales to
> numeric_limits<>.  Here is why:  The standard doesn't say whether
> numeric_limits<> is exported or not.  In case an implementation
> exported it, explicitly specializing individual members may violate
> the ODR.  Therefore, any program playing that games is inherently
> non-portable. 

What does export have to do with it?  The standard requires that a
declaration of an explicit specialization be seen at any point of
instantiation.  So long as it's properly declared, I don't see the
problem.

Jason