Ord instance of intervals compares on only the second element.

music-suite / music-pitch

This repo has been merged into: https://github.com/music-suite/music-suite

http://music-suite.github.io

BSD 3-Clause "New" or "Revised" License

9 stars 9 forks source link

Closed ejlilley closed 10 years ago

ejlilley commented 10 years ago

Fixes bug #32

hanshoglund commented 10 years ago

Not acceptable as it breaks antisymmetry (a ≤ b and b ≤ a then a = b).

Counterexample (using this instance)

>>> m3 <= _A3
True
>>> _A3 <= m3
True
>>> _A3 == m3
False