Georg Brandl
|
949f0d9c72
|
Fix badly mangled lint message for neg-cmp-op-on-partial-ord
|
2018-06-29 16:55:31 +02:00 |
|
Bruno Kirschner
|
80728a2201
|
Reduced scope of nonminimal_bool so that it doesn't evaluate only partially orded types.
|
2018-06-03 21:46:09 +02:00 |
|
Bruno Kirschner
|
09ea75bee9
|
Fixed spelling and indentation issues in neg_cmp_op_on_partial_ord related files.
|
2018-06-03 21:46:09 +02:00 |
|
Bruno Kirschner
|
6d51559f62
|
Added lint to avoid negated comparisions on partially ordered types.
|
2018-06-03 21:46:09 +02:00 |
|