If system.cmp is not defined for T, T is a custom type, and you have to provide 
a custom cmp function anyway. In most cases though system.cmp is defined, so I 
can't see why it shouldn't be implied by default. The compilation will crash 
when no cmp is set for custom types, but it should crash, it's valid and 
expected behavior.

Reply via email to