4 Jan
2006
4 Jan
'06
3:52 p.m.
Jean-Philippe Bernardy wrote:
data MapEntry a b = a := b
instance Eq/Ord a => Eq/Ord (MapEntry a b) where compare (a1 := _) (a2 := _) = compare a1 a2
I would discourage such a use. This is exaclty why we provide Maps, after all.
Agreed, but suppose you have Symbols with their positions. Then you may like that a set of symbols is printed with the positions last (or first) inserted, although positions are ignored in camparisons. C.