No instances for Eq and Ord for Located e
There are no Eq
and Ord
instances for Located e
. Such instances would be useful for storing a Located e
in e.g. a Set
. I propose the two following instances:
instance Eq e => Eq (Located e) where
L loc1 e1 == L loc2 e2 = loc1 == loc2 && e1 == e2
instance Ord e => Ord (Located e) where
compare (L loc1 e1) (L loc2 e2) = case compare loc1 loc2 of
LT -> LT
GT -> GT
EQ -> compare e1 e2
Trac metadata
Trac field | Value |
---|---|
Version | 7.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | GHC API |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |