dependent-sum-template 0.0.0.3 → 0.0.0.4

raw patch · 2 files changed

+4/−1 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Data.GADT.Compare.TH: compare' :: Ord a1 => a1 -> a1 -> GComparing a b ()

+ Data.GADT.Compare.TH: compare' :: Ord a1 => a1 -> a1 -> GComparing k a b ()

- Data.GADT.Compare.TH: runGComparing :: GComparing t t1 (GOrdering * t t1) -> GOrdering * t t1

+ Data.GADT.Compare.TH: runGComparing :: GComparing k t t1 (GOrdering k t t1) -> GOrdering k t t1

dependent-sum-template.cabal view

@@ -1,5 +1,5 @@ name:                   dependent-sum-template-version:                0.0.0.3+version:                0.0.0.4 stability:              experimental  cabal-version:          >= 1.6

src/Data/GADT/Compare/TH.hs view

@@ -3,6 +3,9 @@ {-# LANGUAGE GADTs #-} {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeOperators #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 708+{-# LANGUAGE PolyKinds #-}+#endif module Data.GADT.Compare.TH     ( DeriveGEQ(..)     , DeriveGCompare(..)