Paolo Carlini wrote: >It seems to me that in principle we could avoid such troubles and pursue >Chris proposal by preliminarily checking whether the comparison operator >is actually empty (using a technique inspired from tr1::is_empty, f.i.). > > ... but very careful with unions... hummm... Paolo.