On 6/7/12 3:04 PM, Timon Gehr wrote:'min' is not complicated.I agree.
Then how come it has a bug where it doesn't work with user-defined types?
Maybe it isn't complicated per your definition, but it's complicated enough that it has a bug for a prominent use case.
