generic-deriving 1.12 → 1.12.1

raw patch · 3 files changed

+6/−7 lines, 3 filesdep ~template-haskellPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: template-haskell

API changes (from Hackage documentation)

- Generics.Deriving.ConNames: instance (Generics.Deriving.ConNames.ConNames f, Generics.Deriving.ConNames.ConNames g) => Generics.Deriving.ConNames.ConNames (f GHC.Generics.:+: g)

- Generics.Deriving.ConNames: instance GHC.Generics.Constructor c => Generics.Deriving.ConNames.ConNames (GHC.Generics.C1 c f)

- Generics.Deriving.ConNames: instance Generics.Deriving.ConNames.ConNames f => Generics.Deriving.ConNames.ConNames (GHC.Generics.D1 c f)

- Generics.Deriving.Enum: instance (Generics.Deriving.Enum.Enum' f, Generics.Deriving.Enum.Enum' g) => Generics.Deriving.Enum.Enum' (f GHC.Generics.:*: g)

- Generics.Deriving.Enum: instance (Generics.Deriving.Enum.Enum' f, Generics.Deriving.Enum.Enum' g) => Generics.Deriving.Enum.Enum' (f GHC.Generics.:+: g)

- Generics.Deriving.Enum: instance (Generics.Deriving.Enum.GEnum (f p), Generics.Deriving.Enum.GEnum (g p)) => Generics.Deriving.Enum.GEnum ((GHC.Generics.:*:) f g p)

- Generics.Deriving.Enum: instance (Generics.Deriving.Enum.GEnum (f p), Generics.Deriving.Enum.GEnum (g p)) => Generics.Deriving.Enum.GEnum ((GHC.Generics.:+:) f g p)

- Generics.Deriving.Enum: instance Generics.Deriving.Enum.Enum' f => Generics.Deriving.Enum.Enum' (GHC.Generics.M1 i c f)

- Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum (GHC.Generics.U1 p)

- Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum (f (g p)) => Generics.Deriving.Enum.GEnum ((GHC.Generics.:.:) f g p)

- Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum (f p) => Generics.Deriving.Enum.GEnum (GHC.Generics.M1 i c f p)

- Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum (f p) => Generics.Deriving.Enum.GEnum (GHC.Generics.Rec1 f p)

- Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum c => Generics.Deriving.Enum.GEnum (GHC.Generics.K1 i c p)

- Generics.Deriving.Eq: instance (Generics.Deriving.Eq.GEq (f p), Generics.Deriving.Eq.GEq (g p)) => Generics.Deriving.Eq.GEq ((GHC.Generics.:*:) f g p)

- Generics.Deriving.Eq: instance (Generics.Deriving.Eq.GEq (f p), Generics.Deriving.Eq.GEq (g p)) => Generics.Deriving.Eq.GEq ((GHC.Generics.:+:) f g p)

- Generics.Deriving.Eq: instance (Generics.Deriving.Eq.GEq' a, Generics.Deriving.Eq.GEq' b) => Generics.Deriving.Eq.GEq' (a GHC.Generics.:*: b)

- Generics.Deriving.Eq: instance (Generics.Deriving.Eq.GEq' a, Generics.Deriving.Eq.GEq' b) => Generics.Deriving.Eq.GEq' (a GHC.Generics.:+: b)

- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (GHC.Generics.U1 p)

- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (GHC.Generics.UAddr p)

- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (GHC.Generics.UChar p)

- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (GHC.Generics.UDouble p)

- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (GHC.Generics.UFloat p)

- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (GHC.Generics.UInt p)

- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (GHC.Generics.UWord p)

- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (f (g p)) => Generics.Deriving.Eq.GEq ((GHC.Generics.:.:) f g p)

- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (f p) => Generics.Deriving.Eq.GEq (GHC.Generics.M1 i c f p)

- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (f p) => Generics.Deriving.Eq.GEq (GHC.Generics.Rec1 f p)

- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq c => Generics.Deriving.Eq.GEq (GHC.Generics.K1 i c p)

- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq' a => Generics.Deriving.Eq.GEq' (GHC.Generics.M1 i c a)

- Generics.Deriving.Monoid: instance (Generics.Deriving.Monoid.GMonoid' f, Generics.Deriving.Monoid.GMonoid' h) => Generics.Deriving.Monoid.GMonoid' (f GHC.Generics.:*: h)

- Generics.Deriving.Monoid: instance (Generics.Deriving.Monoid.Monoid' f, Generics.Deriving.Monoid.Monoid' h) => Generics.Deriving.Monoid.Monoid' (f GHC.Generics.:*: h)

- Generics.Deriving.Monoid: instance Generics.Deriving.Monoid.GMonoid' f => Generics.Deriving.Monoid.GMonoid' (GHC.Generics.M1 i c f)

- Generics.Deriving.Monoid: instance Generics.Deriving.Monoid.Monoid' f => Generics.Deriving.Monoid.Monoid' (GHC.Generics.M1 i c f)

- Generics.Deriving.Semigroup: instance (Generics.Deriving.Semigroup.GSemigroup' f, Generics.Deriving.Semigroup.GSemigroup' g) => Generics.Deriving.Semigroup.GSemigroup' (f GHC.Generics.:*: g)

- Generics.Deriving.Semigroup: instance Generics.Deriving.Semigroup.GSemigroup' f => Generics.Deriving.Semigroup.GSemigroup' (GHC.Generics.M1 i c f)

- Generics.Deriving.Uniplate: instance (Generics.Deriving.Uniplate.Context' f b, Generics.Deriving.Uniplate.Context' g b) => Generics.Deriving.Uniplate.Context' (f GHC.Generics.:+: g) b

- Generics.Deriving.Uniplate: instance (Generics.Deriving.Uniplate.Uniplate' f b, Generics.Deriving.Uniplate.Uniplate' g b) => Generics.Deriving.Uniplate.Uniplate' (f GHC.Generics.:*: g) b

- Generics.Deriving.Uniplate: instance (Generics.Deriving.Uniplate.Uniplate' f b, Generics.Deriving.Uniplate.Uniplate' g b) => Generics.Deriving.Uniplate.Uniplate' (f GHC.Generics.:+: g) b

- Generics.Deriving.Uniplate: instance Generics.Deriving.Uniplate.Context' f b => Generics.Deriving.Uniplate.Context' (GHC.Generics.M1 i c f) b

- Generics.Deriving.Uniplate: instance Generics.Deriving.Uniplate.Context' g a => Generics.Deriving.Uniplate.Context' (GHC.Generics.M1 i c (GHC.Generics.K1 j a) GHC.Generics.:*: g) a

- Generics.Deriving.Uniplate: instance Generics.Deriving.Uniplate.Context' g b => Generics.Deriving.Uniplate.Context' (f GHC.Generics.:*: g) b

- Generics.Deriving.Uniplate: instance Generics.Deriving.Uniplate.Uniplate' f b => Generics.Deriving.Uniplate.Uniplate' (GHC.Generics.M1 i c f) b

+ Generics.Deriving.ConNames: instance forall k (c :: GHC.Generics.Meta) (f :: k -> *). GHC.Generics.Constructor c => Generics.Deriving.ConNames.ConNames (GHC.Generics.C1 c f)

+ Generics.Deriving.ConNames: instance forall k (f :: k -> *) (c :: GHC.Generics.Meta). Generics.Deriving.ConNames.ConNames f => Generics.Deriving.ConNames.ConNames (GHC.Generics.D1 c f)

+ Generics.Deriving.ConNames: instance forall k (f :: k -> *) (g :: k -> *). (Generics.Deriving.ConNames.ConNames f, Generics.Deriving.ConNames.ConNames g) => Generics.Deriving.ConNames.ConNames (f GHC.Generics.:+: g)

+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum Foreign.C.Types.CBool

+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum System.Posix.Types.CBlkCnt

+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum System.Posix.Types.CBlkSize

+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum System.Posix.Types.CClockId

+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum System.Posix.Types.CFsBlkCnt

+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum System.Posix.Types.CFsFilCnt

+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum System.Posix.Types.CId

+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum System.Posix.Types.CKey

+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GIx Foreign.C.Types.CBool

+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GIx System.Posix.Types.CBlkCnt

+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GIx System.Posix.Types.CBlkSize

+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GIx System.Posix.Types.CClockId

+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GIx System.Posix.Types.CFsBlkCnt

+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GIx System.Posix.Types.CFsFilCnt

+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GIx System.Posix.Types.CId

+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GIx System.Posix.Types.CKey

+ Generics.Deriving.Enum: instance forall k (f :: k -> *) (g :: k -> *). (Generics.Deriving.Enum.Enum' f, Generics.Deriving.Enum.Enum' g) => Generics.Deriving.Enum.Enum' (f GHC.Generics.:*: g)

+ Generics.Deriving.Enum: instance forall k (f :: k -> *) (g :: k -> *). (Generics.Deriving.Enum.Enum' f, Generics.Deriving.Enum.Enum' g) => Generics.Deriving.Enum.Enum' (f GHC.Generics.:+: g)

+ Generics.Deriving.Enum: instance forall k (f :: k -> *) (p :: k) (g :: k -> *). (Generics.Deriving.Enum.GEnum (f p), Generics.Deriving.Enum.GEnum (g p)) => Generics.Deriving.Enum.GEnum ((GHC.Generics.:*:) f g p)

+ Generics.Deriving.Enum: instance forall k (f :: k -> *) (p :: k) i (c :: GHC.Generics.Meta). Generics.Deriving.Enum.GEnum (f p) => Generics.Deriving.Enum.GEnum (GHC.Generics.M1 i c f p)

+ Generics.Deriving.Enum: instance forall k (f :: k -> *) (p :: k). Generics.Deriving.Enum.GEnum (f p) => Generics.Deriving.Enum.GEnum (GHC.Generics.Rec1 f p)

+ Generics.Deriving.Enum: instance forall k (f :: k -> *) i (c :: GHC.Generics.Meta). Generics.Deriving.Enum.Enum' f => Generics.Deriving.Enum.Enum' (GHC.Generics.M1 i c f)

+ Generics.Deriving.Enum: instance forall k (p :: k). Generics.Deriving.Enum.GEnum (GHC.Generics.U1 p)

+ Generics.Deriving.Enum: instance forall k c i (p :: k). Generics.Deriving.Enum.GEnum c => Generics.Deriving.Enum.GEnum (GHC.Generics.K1 i c p)

+ Generics.Deriving.Enum: instance forall k1 k2 (f :: k2 -> *) (g :: k1 -> k2) (p :: k1). Generics.Deriving.Enum.GEnum (f (g p)) => Generics.Deriving.Enum.GEnum ((GHC.Generics.:.:) f g p)

+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq Foreign.C.Types.CBool

+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq System.Posix.Types.CBlkCnt

+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq System.Posix.Types.CBlkSize

+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq System.Posix.Types.CClockId

+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq System.Posix.Types.CFsBlkCnt

+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq System.Posix.Types.CFsFilCnt

+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq System.Posix.Types.CId

+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq System.Posix.Types.CKey

+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq System.Posix.Types.CTimer

+ Generics.Deriving.Eq: instance forall k (a :: k -> *) (b :: k -> *). (Generics.Deriving.Eq.GEq' a, Generics.Deriving.Eq.GEq' b) => Generics.Deriving.Eq.GEq' (a GHC.Generics.:*: b)

+ Generics.Deriving.Eq: instance forall k (a :: k -> *) (b :: k -> *). (Generics.Deriving.Eq.GEq' a, Generics.Deriving.Eq.GEq' b) => Generics.Deriving.Eq.GEq' (a GHC.Generics.:+: b)

+ Generics.Deriving.Eq: instance forall k (a :: k -> *) i (c :: GHC.Generics.Meta). Generics.Deriving.Eq.GEq' a => Generics.Deriving.Eq.GEq' (GHC.Generics.M1 i c a)

+ Generics.Deriving.Eq: instance forall k (f :: k -> *) (p :: k) (g :: k -> *). (Generics.Deriving.Eq.GEq (f p), Generics.Deriving.Eq.GEq (g p)) => Generics.Deriving.Eq.GEq ((GHC.Generics.:*:) f g p)

+ Generics.Deriving.Eq: instance forall k (f :: k -> *) (p :: k) (g :: k -> *). (Generics.Deriving.Eq.GEq (f p), Generics.Deriving.Eq.GEq (g p)) => Generics.Deriving.Eq.GEq ((GHC.Generics.:+:) f g p)

+ Generics.Deriving.Eq: instance forall k (f :: k -> *) (p :: k) i (c :: GHC.Generics.Meta). Generics.Deriving.Eq.GEq (f p) => Generics.Deriving.Eq.GEq (GHC.Generics.M1 i c f p)

+ Generics.Deriving.Eq: instance forall k (f :: k -> *) (p :: k). Generics.Deriving.Eq.GEq (f p) => Generics.Deriving.Eq.GEq (GHC.Generics.Rec1 f p)

+ Generics.Deriving.Eq: instance forall k (p :: k). Generics.Deriving.Eq.GEq (GHC.Generics.U1 p)

+ Generics.Deriving.Eq: instance forall k (p :: k). Generics.Deriving.Eq.GEq (GHC.Generics.UAddr p)

+ Generics.Deriving.Eq: instance forall k (p :: k). Generics.Deriving.Eq.GEq (GHC.Generics.UChar p)

+ Generics.Deriving.Eq: instance forall k (p :: k). Generics.Deriving.Eq.GEq (GHC.Generics.UDouble p)

+ Generics.Deriving.Eq: instance forall k (p :: k). Generics.Deriving.Eq.GEq (GHC.Generics.UFloat p)

+ Generics.Deriving.Eq: instance forall k (p :: k). Generics.Deriving.Eq.GEq (GHC.Generics.UInt p)

+ Generics.Deriving.Eq: instance forall k (p :: k). Generics.Deriving.Eq.GEq (GHC.Generics.UWord p)

+ Generics.Deriving.Eq: instance forall k c i (p :: k). Generics.Deriving.Eq.GEq c => Generics.Deriving.Eq.GEq (GHC.Generics.K1 i c p)

+ Generics.Deriving.Eq: instance forall k1 k2 (f :: k2 -> *) (g :: k1 -> k2) (p :: k1). Generics.Deriving.Eq.GEq (f (g p)) => Generics.Deriving.Eq.GEq ((GHC.Generics.:.:) f g p)

+ Generics.Deriving.Monoid: instance forall k (f :: k -> *) (h :: k -> *). (Generics.Deriving.Monoid.GMonoid' f, Generics.Deriving.Monoid.GMonoid' h) => Generics.Deriving.Monoid.GMonoid' (f GHC.Generics.:*: h)

+ Generics.Deriving.Monoid: instance forall k (f :: k -> *) (h :: k -> *). (Generics.Deriving.Monoid.Monoid' f, Generics.Deriving.Monoid.Monoid' h) => Generics.Deriving.Monoid.Monoid' (f GHC.Generics.:*: h)

+ Generics.Deriving.Monoid: instance forall k (f :: k -> *) i (c :: GHC.Generics.Meta). Generics.Deriving.Monoid.GMonoid' f => Generics.Deriving.Monoid.GMonoid' (GHC.Generics.M1 i c f)

+ Generics.Deriving.Monoid: instance forall k (f :: k -> *) i (c :: GHC.Generics.Meta). Generics.Deriving.Monoid.Monoid' f => Generics.Deriving.Monoid.Monoid' (GHC.Generics.M1 i c f)

+ Generics.Deriving.Semigroup: instance forall k (f :: k -> *) (g :: k -> *). (Generics.Deriving.Semigroup.GSemigroup' f, Generics.Deriving.Semigroup.GSemigroup' g) => Generics.Deriving.Semigroup.GSemigroup' (f GHC.Generics.:*: g)

+ Generics.Deriving.Semigroup: instance forall k (f :: k -> *) i (c :: GHC.Generics.Meta). Generics.Deriving.Semigroup.GSemigroup' f => Generics.Deriving.Semigroup.GSemigroup' (GHC.Generics.M1 i c f)

+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow Foreign.C.Types.CBool

+ Generics.Deriving.Uniplate: instance forall k (f :: k -> *) b (g :: k -> *). (Generics.Deriving.Uniplate.Context' f b, Generics.Deriving.Uniplate.Context' g b) => Generics.Deriving.Uniplate.Context' (f GHC.Generics.:+: g) b

+ Generics.Deriving.Uniplate: instance forall k (f :: k -> *) b (g :: k -> *). (Generics.Deriving.Uniplate.Uniplate' f b, Generics.Deriving.Uniplate.Uniplate' g b) => Generics.Deriving.Uniplate.Uniplate' (f GHC.Generics.:*: g) b

+ Generics.Deriving.Uniplate: instance forall k (f :: k -> *) b i (c :: GHC.Generics.Meta). Generics.Deriving.Uniplate.Context' f b => Generics.Deriving.Uniplate.Context' (GHC.Generics.M1 i c f) b

+ Generics.Deriving.Uniplate: instance forall k (f :: k -> *) b i (c :: GHC.Generics.Meta). Generics.Deriving.Uniplate.Uniplate' f b => Generics.Deriving.Uniplate.Uniplate' (GHC.Generics.M1 i c f) b

+ Generics.Deriving.Uniplate: instance forall k (g :: k -> *) a i (c :: GHC.Generics.Meta) j. Generics.Deriving.Uniplate.Context' g a => Generics.Deriving.Uniplate.Context' (GHC.Generics.M1 i c (GHC.Generics.K1 j a) GHC.Generics.:*: g) a

+ Generics.Deriving.Uniplate: instance forall k (g :: k -> *) b (f :: k -> *). Generics.Deriving.Uniplate.Context' g b => Generics.Deriving.Uniplate.Context' (f GHC.Generics.:*: g) b

- Generics.Deriving.Copoint: class GCopoint d where gcopoint = gcopointdefault

+ Generics.Deriving.Copoint: class GCopoint d

- Generics.Deriving.Enum: class GEnum a where genum = genumDefault

+ Generics.Deriving.Enum: class GEnum a

- Generics.Deriving.Enum: class (Ord a) => GIx a where range = rangeDefault index = indexDefault inRange = inRangeDefault

+ Generics.Deriving.Enum: class (Ord a) => GIx a

- Generics.Deriving.Eq: class GEq a where geq = geqdefault

+ Generics.Deriving.Eq: class GEq a

- Generics.Deriving.Foldable: class GFoldable t where gfoldMap = gfoldMapdefault gfold = gfoldMap id gfoldr f z t = appEndo (gfoldMap (Endo . f) t) z gfoldr' f z0 xs = gfoldl f' id xs z0 where f' k x z = k $! f x z gfoldl f z t = appEndo (getDual (gfoldMap (Dual . Endo . flip f) t)) z gfoldl' f z0 xs = gfoldr f' id xs z0 where f' x k z = k $! f z x gfoldr1 f xs = fromMaybe (error "gfoldr1: empty structure") (gfoldr mf Nothing xs) where mf x Nothing = Just x mf x (Just y) = Just (f x y) gfoldl1 f xs = fromMaybe (error "foldl1: empty structure") (gfoldl mf Nothing xs) where mf Nothing y = Just y mf (Just x) y = Just (f x y)

+ Generics.Deriving.Foldable: class GFoldable t

- Generics.Deriving.Functor: class GFunctor f where gmap = gmapdefault

+ Generics.Deriving.Functor: class GFunctor f

- Generics.Deriving.Monoid: class GMonoid a where gmconcat = foldr gmappend gmempty gmempty = to gmempty' gmappend x y = to (gmappend' (from x) (from y))

+ Generics.Deriving.Monoid: class GMonoid a

- Generics.Deriving.Semigroup: class GSemigroup a where gsappend = gsappenddefault gstimes y0 x0 | y0 <= 0 = error "gstimes: positive multiplier expected" | otherwise = f x0 y0 where f x y | even y = f (gsappend x x) (y `quot` 2) | y == 1 = x | otherwise = g (gsappend x x) (pred y `quot` 2) x g x y z | even y = g (gsappend x x) (y `quot` 2) z | y == 1 = gsappend x z | otherwise = g (gsappend x x) (pred y `quot` 2) (gsappend x z) gsconcat (a :| as) = go a as where go b (c : cs) = gsappend b (go c cs) go b [] = b

+ Generics.Deriving.Semigroup: class GSemigroup a

- Generics.Deriving.Show: class GShow a where gshows = gshowsPrec 0 gshow x = gshows x "" gshowsPrec = gshowsPrecdefault

+ Generics.Deriving.Show: class GShow a

- Generics.Deriving.Show: class GShow' f where isNullary = error "generic show (isNullary): unnecessary case"

+ Generics.Deriving.Show: class GShow' f

- Generics.Deriving.Traversable: class (GFunctor t, GFoldable t) => GTraversable t where gtraverse = gtraversedefault gsequenceA = gtraverse id gmapM f = unwrapMonad . gtraverse (WrapMonad . f) gsequence = gmapM id

+ Generics.Deriving.Traversable: class (GFunctor t, GFoldable t) => GTraversable t

- Generics.Deriving.Uniplate: class Uniplate a where children = childrendefault context = contextdefault descend = descenddefault descendM = descendMdefault transform = transformdefault transformM = transformMdefault

+ Generics.Deriving.Uniplate: class Uniplate a

Files

CHANGELOG.md +3/−0
generic-deriving.cabal +3/−1
tests/ExampleSpec.hs +0/−6

CHANGELOG.md view

@@ -1,3 +1,6 @@+# 1.12.1 [2018.01.11]+* Remove a test that won't work on GHC 8.4.+ # 1.12 [2017.12.07] * Adapt to the `EmptyDataDeriving` proposal (introduced in GHC 8.4):   * `Generics.Deriving.TH` now derives `to(1)` and `from(1)` implementations

generic-deriving.cabal view

@@ -1,5 +1,5 @@ name:                   generic-deriving-version:                1.12+version:                1.12.1 synopsis:               Generic programming library for generalised deriving. description: @@ -33,6 +33,7 @@                       , GHC == 7.10.3                       , GHC == 8.0.2                       , GHC == 8.2.2+                      , GHC == 8.4.1 extra-source-files:     CHANGELOG.md                       , README.md @@ -91,6 +92,7 @@                       , generic-deriving                       , hspec            >= 2    && < 3                       , template-haskell >= 2.4  && < 2.13+  build-tool-depends:   hspec-discover:hspec-discover   hs-source-dirs:       tests   default-language:     Haskell2010   ghc-options:          -Wall -threaded -rtsopts

tests/ExampleSpec.hs view

@@ -342,11 +342,6 @@                | MyType1Cons2 (f :/: a) Int a (f a)                | (f :/: a) :/: MyType2 -infixr 5 :!@!:-data GADTSyntax a b where-  GADTPrefix :: d -> c -> GADTSyntax c d-  (:!@!:)    :: e -> f -> GADTSyntax e f- data MyType2 = MyType2 Float ([] :/: Int) data PlainHash a = Hash a Addr# Char# Double# Float# Int# Word# @@ -393,7 +388,6 @@  $(deriveAll0And1 ''Empty) $(deriveAll0And1 ''(:/:))-$(deriveAll0And1 ''GADTSyntax) $(deriveAll0     ''MyType2) $(deriveAll0And1 ''PlainHash) $(deriveAll0     ''ExampleSpec.Lexeme)