@@ -7,7 +7,7 @@ module Data.Set.Ordered
77 -- * Trivial sets
88 , empty, singleton
99 -- * Insertion
10− -- | Conventionts:
10+ -- | Conventions:
1111 --
1212 -- * The open side of an angle bracket points to an 'OSet'
1313 --
@@ -48,15 +48,14 @@ instance (Ord a, Read a) => Read (OSet a) where readsPrec = readsPrecList fromLi
4848
4949-- This instance preserves data abstraction at the cost of inefficiency.
5050-- We provide limited reflection services for the sake of data abstraction.
51−
5251instance (Data a, Ord a) => Data (OSet a) where
53− gfoldl f z set = z fromList `f` (toList set)
52+ gfoldl f z set = z fromList `f` toList set
5453 toConstr _ = fromListConstr
5554 gunfold k z c = case constrIndex c of
5655 1 -> k (z fromList)
5756 _ -> error "gunfold"
5857 dataTypeOf _ = oSetDataType
59− dataCast1 f = gcast1 f
58+ dataCast1 = gcast1
6059
6160fromListConstr :: Constr
6261fromListConstr = mkConstr oSetDataType "fromList" [] Prefix