diff options
author | Joey Hess <joey@kitenet.net> | 2013-03-16 17:43:42 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-03-16 17:43:42 -0400 |
commit | 6a09a1403f6d31b0d518dc9d65b9a9358fb594b9 (patch) | |
tree | f2c6832a7a327e3a8bc838bad302ef708c4c088b /Types/Remote.hs | |
parent | 5deaa7c59bd330a7b20a19aee3fe01e6283ec9c8 (diff) |
Fix several bugs caused by a bad Ord instance for Remote.
A long time ago I made Remote be an instance of the Ord typeclass, with an
implementation that compared the costs of Remotes. That seemed like a good
idea at the time, as it saved typing.. But at the time I was still making
custom Read and Show instances too. I've since learned that this is *not* a
good idea, and neither is making custom Ord instances, without deep thought
about the possible sets of values in a type. Haskell typeclasses are not a
toy.
This Ord instance came around and bit me when I put Remotes into a Set,
because now remotes with the same cost appeared to be in the Set even if
they were not. Also affected putting Remotes into a Map.
Rarely does a bug go this deep. I've fixed it comprehensively, first
removing the Ord instance entirely, and fixing the places that wanted to
order remotes by cost to do it explicitly. Then adding back an Ord instance
that is much more sane. Also by checking the rest of the Ord instances in
the code base (which were all ok).
While doing that, I found lots of places that kept remotes in Maps and
Sets. All of it was probably subtly broken in one way or another before
this fix, but it would be hard to say exactly how the bugs would
manifest.
Diffstat (limited to 'Types/Remote.hs')
-rw-r--r-- | Types/Remote.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Types/Remote.hs b/Types/Remote.hs index fe2260447..64a77109c 100644 --- a/Types/Remote.hs +++ b/Types/Remote.hs @@ -87,6 +87,5 @@ instance Show (RemoteA a) where instance Eq (RemoteA a) where x == y = uuid x == uuid y --- order remotes by cost instance Ord (RemoteA a) where - compare = comparing cost + compare = comparing uuid |