> The implementation also suffers from the fact that, since a warning > does not abort the compilation, a warning in a functor body is > replicated at each functor instantiation (with no distinguishing > feature of the warning message). This is no different than match warnings, so it seems OK (or at least consistent).