Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package ghc-th-compat for openSUSE:Factory checked in at 2024-12-20 23:11:02 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-th-compat (Old) and /work/SRC/openSUSE:Factory/.ghc-th-compat.new.1881 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-th-compat" Fri Dec 20 23:11:02 2024 rev:14 rq:1231477 version:0.1.6 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-th-compat/ghc-th-compat.changes 2024-05-06 17:52:57.562442308 +0200 +++ /work/SRC/openSUSE:Factory/.ghc-th-compat.new.1881/ghc-th-compat.changes 2024-12-20 23:11:56.395736505 +0100 @@ -1,0 +2,7 @@ +Thu Dec 5 12:13:25 UTC 2024 - Peter Simons <[email protected]> + +- Update th-compat to version 0.1.6. + ### 0.1.6 [2024.12.05] + * Drop support for pre-8.0 versions of GHC. + +------------------------------------------------------------------- Old: ---- th-compat-0.1.5.tar.gz th-compat.cabal New: ---- th-compat-0.1.6.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-th-compat.spec ++++++ --- /var/tmp/diff_new_pack.7ipABH/_old 2024-12-20 23:11:56.875756296 +0100 +++ /var/tmp/diff_new_pack.7ipABH/_new 2024-12-20 23:11:56.879756461 +0100 @@ -20,13 +20,12 @@ %global pkgver %{pkg_name}-%{version} %bcond_with tests Name: ghc-%{pkg_name} -Version: 0.1.5 +Version: 0.1.6 Release: 0 Summary: Backward- (and forward-)compatible Quote and Code types License: BSD-3-Clause URL: https://hackage.haskell.org/package/%{pkg_name} Source0: https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz -Source1: https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/2.cabal#/%{pkg_name}.cabal BuildRequires: ghc-Cabal-devel BuildRequires: ghc-base-devel BuildRequires: ghc-base-prof @@ -35,8 +34,6 @@ BuildRequires: ghc-template-haskell-prof ExcludeArch: %{ix86} %if %{with tests} -BuildRequires: ghc-base-compat-devel -BuildRequires: ghc-base-compat-prof BuildRequires: ghc-hspec-devel BuildRequires: ghc-hspec-prof BuildRequires: ghc-mtl-devel @@ -80,7 +77,6 @@ %prep %autosetup -n %{pkg_name}-%{version} -cp -p %{SOURCE1} %{pkg_name}.cabal %build %ghc_lib_build ++++++ th-compat-0.1.5.tar.gz -> th-compat-0.1.6.tar.gz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/th-compat-0.1.5/CHANGELOG.md new/th-compat-0.1.6/CHANGELOG.md --- old/th-compat-0.1.5/CHANGELOG.md 2001-09-09 03:46:40.000000000 +0200 +++ new/th-compat-0.1.6/CHANGELOG.md 2001-09-09 03:46:40.000000000 +0200 @@ -1,3 +1,6 @@ +### 0.1.6 [2024.12.05] +* Drop support for pre-8.0 versions of GHC. + ### 0.1.5 [2024.03.19] * Support building with `template-haskell-2.22.*` (GHC 9.10). diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/th-compat-0.1.5/src/Language/Haskell/TH/Syntax/Compat.hs new/th-compat-0.1.6/src/Language/Haskell/TH/Syntax/Compat.hs --- old/th-compat-0.1.5/src/Language/Haskell/TH/Syntax/Compat.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/th-compat-0.1.6/src/Language/Haskell/TH/Syntax/Compat.hs 2001-09-09 03:46:40.000000000 +0200 @@ -5,22 +5,13 @@ {-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE MultiParamTypeClasses #-} +{-# LANGUAGE PolyKinds #-} {-# LANGUAGE RankNTypes #-} +{-# LANGUAGE RoleAnnotations #-} +{-# LANGUAGE Trustworthy #-} {-# LANGUAGE TypeOperators #-} {-# LANGUAGE UndecidableInstances #-} -#if __GLASGOW_HASKELL__ >= 702 -{-# LANGUAGE Trustworthy #-} -#endif - -#if __GLASGOW_HASKELL__ >= 706 -{-# LANGUAGE PolyKinds #-} -#endif - -#if __GLASGOW_HASKELL__ >= 708 -{-# LANGUAGE RoleAnnotations #-} -#endif - -- | This module exists to make it possible to define code that works across -- a wide range of @template-haskell@ versions with as little CPP as possible. -- To that end, this module currently backports the following @@ -42,17 +33,12 @@ -- ** The @unsafeQToQuote@ function , unsafeQToQuote -- ** Functions from @Language.Haskell.TH.Syntax@ -#if MIN_VERSION_template_haskell(2,9,0) , unTypeQQuote , unsafeTExpCoerceQuote -#endif , liftQuote -#if MIN_VERSION_template_haskell(2,9,0) , liftTypedQuote -#endif , liftStringQuote -#if MIN_VERSION_template_haskell(2,9,0) -- * The @Code@ and @CodeQ@ types -- $code , Code(..), CodeQ @@ -84,7 +70,6 @@ , unsafeSpliceCoerce , unTypeSplice , expToSplice -#endif -- * Package root functions , getPackageRoot @@ -98,10 +83,6 @@ import Language.Haskell.TH.Syntax (Q, runQ, Quasi(..)) import qualified Language.Haskell.TH.Syntax as Syntax -#if !(MIN_VERSION_base(4,8,0)) -import Control.Applicative -#endif - #if MIN_VERSION_template_haskell(2,16,0) import GHC.Exts (RuntimeRep, TYPE) #endif @@ -192,13 +173,7 @@ -- For many years the type of a quotation was fixed to be `Q Exp` but by -- more precisely specifying the minimal interface it enables the `Exp` to -- be extracted purely from the quotation without interacting with `Q`. -class ( Monad m -# if !(MIN_VERSION_template_haskell(2,7,0)) - , Functor m -# elif !(MIN_VERSION_template_haskell(2,10,0)) - , Applicative m -# endif - ) => Quote m where +class Monad m => Quote m where {- | Generate a fresh name, which cannot be captured. @@ -239,7 +214,6 @@ newName = qNewName #endif -#if MIN_VERSION_template_haskell(2,9,0) -- | Discard the type annotation and produce a plain Template Haskell -- expression -- @@ -251,18 +225,18 @@ -- As this function interacts with typed Template Haskell, this function is -- only defined on @template-haskell-2.9.0.0@ (GHC 7.8) or later. unTypeQQuote :: -# if MIN_VERSION_template_haskell(2,16,0) +#if MIN_VERSION_template_haskell(2,16,0) forall (r :: RuntimeRep) (a :: TYPE r) m . -# else +#else forall a m . -# endif +#endif Quote m => m (Syntax.TExp a) -> m Exp -# if MIN_VERSION_template_haskell(2,17,0) +#if MIN_VERSION_template_haskell(2,17,0) unTypeQQuote = unTypeQ -# else +#else unTypeQQuote m = do { Syntax.TExp e <- m ; return e } -# endif +#endif -- | Annotate the Template Haskell expression with a type -- @@ -278,18 +252,17 @@ -- As this function interacts with typed Template Haskell, this function is -- only defined on @template-haskell-2.9.0.0@ (GHC 7.8) or later. unsafeTExpCoerceQuote :: -# if MIN_VERSION_template_haskell(2,16,0) +#if MIN_VERSION_template_haskell(2,16,0) forall (r :: RuntimeRep) (a :: TYPE r) m . -# else +#else forall a m . -# endif +#endif Quote m => m Exp -> m (Syntax.TExp a) -# if MIN_VERSION_template_haskell(2,17,0) +#if MIN_VERSION_template_haskell(2,17,0) unsafeTExpCoerceQuote = unsafeTExpCoerce -# else +#else unsafeTExpCoerceQuote m = do { e <- m ; return (Syntax.TExp e) } -# endif #endif -- | Turn a value into a Template Haskell expression, suitable for use in @@ -313,7 +286,6 @@ liftQuote = unsafeQToQuote . Syntax.lift #endif -#if MIN_VERSION_template_haskell(2,9,0) -- | Turn a value into a Template Haskell typed expression, suitable for use -- in a typed splice. -- @@ -333,19 +305,18 @@ -- -- Levity-polymorphic since /template-haskell-2.17.0.0/. liftTypedQuote :: -# if MIN_VERSION_template_haskell(2,17,0) +#if MIN_VERSION_template_haskell(2,17,0) forall (r :: RuntimeRep) (t :: TYPE r) m . -# else +#else forall t m . -# endif +#endif (Syntax.Lift t, Quote m) => t -> Code m t -# if MIN_VERSION_template_haskell(2,17,0) +#if MIN_VERSION_template_haskell(2,17,0) liftTypedQuote = Syntax.liftTyped -# elif MIN_VERSION_template_haskell(2,16,0) +#elif MIN_VERSION_template_haskell(2,16,0) liftTypedQuote = liftCode . unsafeQToQuote . Syntax.liftTyped -# else +#else liftTypedQuote = unsafeCodeCoerce . liftQuote -# endif #endif -- | This is a variant of the 'Syntax.liftString' function that is always @@ -422,11 +393,9 @@ qReify = qtqError "qReify" qLocation = qtqError "qLocation" qRunIO = qtqError "qRunIO" -#if MIN_VERSION_template_haskell(2,7,0) qReifyInstances = qtqError "qReifyInstances" qLookupName = qtqError "qLookupName" qAddDependentFile = qtqError "qAddDependentFile" -# if MIN_VERSION_template_haskell(2,9,0) qReifyRoles = qtqError "qReifyRoles" qReifyAnnotations = qtqError "qReifyAnnotations" qReifyModule = qtqError "qReifyModule" @@ -434,16 +403,10 @@ qAddModFinalizer = qtqError "qAddModFinalizer" qGetQ = qtqError "qGetQ" qPutQ = qtqError "qPutQ" -# endif -# if MIN_VERSION_template_haskell(2,11,0) qReifyFixity = qtqError "qReifyFixity" qReifyConStrictness = qtqError "qReifyConStrictness" qIsExtEnabled = qtqError "qIsExtEnabled" qExtsEnabled = qtqError "qExtsEnabled" -# endif -#elif MIN_VERSION_template_haskell(2,5,0) - qClassInstances = qtqError "qClassInstances" -#endif #if MIN_VERSION_template_haskell(2,13,0) qAddCorePlugin = qtqError "qAddCorePlugin" #endif @@ -499,7 +462,6 @@ -- any function that mentions 'Code' in its type are only defined on -- @template-haskell-2.9.0.0@ (GHC 7.8) or later. -#if MIN_VERSION_template_haskell(2,9,0) -- | A class that allows one to smooth over the differences between -- @'Code' 'm' a@ (the type of typed Template Haskell quotations on -- @template-haskell-2.17.0.0@ or later) and @'m' ('TExp' a)@ (the type of @@ -526,11 +488,11 @@ -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. class IsCode q -# if MIN_VERSION_template_haskell(2,16,0) +#if MIN_VERSION_template_haskell(2,16,0) (a :: TYPE r) -# else +#else a -# endif +#endif c | c -> a q where -- | Convert something to a 'Code'. toCode :: c -> Code q a @@ -539,22 +501,22 @@ -- | Levity-polymorphic since /template-haskell-2.16.0.0/. instance Quote q => IsCode q -# if MIN_VERSION_template_haskell(2,16,0) +#if MIN_VERSION_template_haskell(2,16,0) (a :: TYPE r) -# else +#else a -# endif +#endif (Code q a) where toCode = id fromCode = id -- | Levity-polymorphic since /template-haskell-2.16.0.0/. instance texp ~ Syntax.TExp a => IsCode Q -# if MIN_VERSION_template_haskell(2,16,0) +#if MIN_VERSION_template_haskell(2,16,0) (a :: TYPE r) -# else +#else a -# endif +#endif (Q texp) where toCode = liftCode fromCode = examineCode @@ -588,33 +550,33 @@ -- problem. -- | Levity-polymorphic since /template-haskell-2.16.0.0/. -# if !(MIN_VERSION_template_haskell(2,17,0)) +#if !(MIN_VERSION_template_haskell(2,17,0)) type role Code representational nominal newtype Code m -# if MIN_VERSION_template_haskell(2,16,0) +# if MIN_VERSION_template_haskell(2,16,0) (a :: TYPE (r :: RuntimeRep)) -# else +# else a -# endif +# endif = Code { examineCode :: m (Syntax.TExp a) -- ^ Underlying monadic value } type CodeQ = Code Q -# if MIN_VERSION_template_haskell(2,16,0) +#if MIN_VERSION_template_haskell(2,16,0) :: (TYPE r -> *) -# endif +#endif -- | Unsafely convert an untyped code representation into a typed code -- representation. -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. unsafeCodeCoerce :: -# if MIN_VERSION_template_haskell(2,16,0) +# if MIN_VERSION_template_haskell(2,16,0) forall (r :: RuntimeRep) (a :: TYPE r) m . -# else +# else forall a m . -# endif +# endif Quote m => m Exp -> Code m a unsafeCodeCoerce m = Code (unsafeTExpCoerceQuote m) @@ -623,11 +585,11 @@ -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. liftCode :: -# if MIN_VERSION_template_haskell(2,16,0) +# if MIN_VERSION_template_haskell(2,16,0) forall (r :: RuntimeRep) (a :: TYPE r) m . -# else +# else forall a m . -# endif +# endif m (Syntax.TExp a) -> Code m a liftCode = Code @@ -635,11 +597,11 @@ -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. unTypeCode :: -# if MIN_VERSION_template_haskell(2,16,0) +# if MIN_VERSION_template_haskell(2,16,0) forall (r :: RuntimeRep) (a :: TYPE r) m . -# else +# else forall a m . -# endif +# endif Quote m => Code m a -> m Exp unTypeCode = unTypeQQuote . examineCode @@ -653,11 +615,11 @@ -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. hoistCode :: -# if MIN_VERSION_template_haskell(2,16,0) +# if MIN_VERSION_template_haskell(2,16,0) forall m n (r :: RuntimeRep) (a :: TYPE r) . -# else +# else forall m n a . -# endif +# endif Monad m => (forall x . m x -> n x) -> Code m a -> Code n a hoistCode f (Code a) = Code (f a) @@ -667,11 +629,11 @@ -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. bindCode :: -# if MIN_VERSION_template_haskell(2,16,0) +# if MIN_VERSION_template_haskell(2,16,0) forall m a (r :: RuntimeRep) (b :: TYPE r) . -# else +# else forall m a b . -# endif +# endif Monad m => m a -> (a -> Code m b) -> Code m b bindCode q k = liftCode (q >>= examineCode . k) @@ -680,11 +642,11 @@ -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. bindCode_ :: -# if MIN_VERSION_template_haskell(2,16,0) +# if MIN_VERSION_template_haskell(2,16,0) forall m a (r :: RuntimeRep) (b :: TYPE r) . -# else +# else forall m a b . -# endif +# endif Monad m => m a -> Code m b -> Code m b bindCode_ q c = liftCode ( q >> examineCode c) @@ -698,14 +660,14 @@ -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. joinCode :: -# if MIN_VERSION_template_haskell(2,16,0) +# if MIN_VERSION_template_haskell(2,16,0) forall m (r :: RuntimeRep) (a :: TYPE r) . -# else +# else forall m a . -# endif +# endif Monad m => m (Code m a) -> Code m a joinCode = flip bindCode id -# endif +#endif -- $splice -- @@ -756,15 +718,15 @@ -- differ between @template-haskell@ versions as well. -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. -# if MIN_VERSION_template_haskell(2,22,0) +#if MIN_VERSION_template_haskell(2,22,0) type Splice = Code :: ((* -> *) -> forall r. TYPE r -> *) -# elif MIN_VERSION_template_haskell(2,17,0) +#elif MIN_VERSION_template_haskell(2,17,0) type Splice = Code :: (forall r. (* -> *) -> TYPE r -> *) -# elif MIN_VERSION_template_haskell(2,16,0) +#elif MIN_VERSION_template_haskell(2,16,0) type Splice m (a :: TYPE r) = m (Syntax.TExp a) -# else +#else type Splice m a = m (Syntax.TExp a) -# endif +#endif -- | @'SpliceQ' a@ is a type alias for: -- @@ -779,13 +741,13 @@ -- differ between @template-haskell@ versions as well. -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. -# if MIN_VERSION_template_haskell(2,17,0) +#if MIN_VERSION_template_haskell(2,17,0) type SpliceQ = Splice Q :: (TYPE r -> *) -# elif MIN_VERSION_template_haskell(2,16,0) +#elif MIN_VERSION_template_haskell(2,16,0) type SpliceQ (a :: TYPE r) = Splice Q a -# else +#else type SpliceQ a = Splice Q a -# endif +#endif -- | A variant of 'bindCode' that works over 'Splice's. Because this function -- uses 'Splice', the type of this function will be different depending on @@ -794,17 +756,17 @@ -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. bindSplice :: -# if MIN_VERSION_template_haskell(2,16,0) +# if MIN_VERSION_template_haskell(2,16,0) forall m a (r :: RuntimeRep) (b :: TYPE r) . -# else +# else forall m a b . -# endif +# endif Monad m => m a -> (a -> Splice m b) -> Splice m b -# if MIN_VERSION_template_haskell(2,17,0) +#if MIN_VERSION_template_haskell(2,17,0) bindSplice = bindCode -# else +#else bindSplice q k = liftSplice (q >>= examineSplice . k) -# endif +#endif -- | A variant of 'bindCode_' that works over 'Splice's. Because this function -- uses 'Splice', the type of this function will be different depending on @@ -813,17 +775,17 @@ -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. bindSplice_ :: -# if MIN_VERSION_template_haskell(2,16,0) +# if MIN_VERSION_template_haskell(2,16,0) forall m a (r :: RuntimeRep) (b :: TYPE r) . -# else +# else forall m a b . -# endif +# endif Monad m => m a -> Splice m b -> Splice m b -# if MIN_VERSION_template_haskell(2,17,0) +#if MIN_VERSION_template_haskell(2,17,0) bindSplice_ = bindCode_ -# else +#else bindSplice_ q c = liftSplice ( q >> examineSplice c) -# endif +#endif -- | Lift a @'Syntax.TExp' a@ into a 'Splice'. This is useful when splicing -- in the result of a computation into a typed QuasiQuoter. @@ -894,17 +856,17 @@ -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. examineSplice :: -# if MIN_VERSION_template_haskell(2,16,0) +#if MIN_VERSION_template_haskell(2,16,0) forall (r :: RuntimeRep) m (a :: TYPE r) . -# else +#else forall m a . -# endif +#endif Splice m a -> m (Syntax.TExp a) -# if MIN_VERSION_template_haskell(2,17,0) +#if MIN_VERSION_template_haskell(2,17,0) examineSplice = examineCode -# else +#else examineSplice = id -# endif +#endif -- | A variant of 'hoistCode' that works over 'Splice's. Because this function -- uses 'Splice', the type of this function will be different depending on @@ -913,17 +875,17 @@ -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. hoistSplice :: -# if MIN_VERSION_template_haskell(2,16,0) +# if MIN_VERSION_template_haskell(2,16,0) forall m n (r :: RuntimeRep) (a :: TYPE r) . -# else +# else forall m n a . -# endif +# endif Monad m => (forall x . m x -> n x) -> Splice m a -> Splice n a -# if MIN_VERSION_template_haskell(2,17,0) +#if MIN_VERSION_template_haskell(2,17,0) hoistSplice = hoistCode -# else +#else hoistSplice f a = f a -# endif +#endif -- | A variant of 'joinCode' that works over 'Splice's. Because this function -- uses 'Splice', the type of this function will be different depending on @@ -932,17 +894,17 @@ -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. joinSplice :: -# if MIN_VERSION_template_haskell(2,16,0) +# if MIN_VERSION_template_haskell(2,16,0) forall m (r :: RuntimeRep) (a :: TYPE r) . -# else +# else forall m a . -# endif +# endif Monad m => m (Splice m a) -> Splice m a -# if MIN_VERSION_template_haskell(2,17,0) +#if MIN_VERSION_template_haskell(2,17,0) joinSplice = joinCode -# else +#else joinSplice = flip bindSplice id -# endif +#endif -- | A variant of 'liftCode' that returns a 'Splice'. Because this function -- returns a 'Splice', the return type of this function will be different @@ -952,17 +914,17 @@ -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. liftSplice :: -# if MIN_VERSION_template_haskell(2,16,0) +#if MIN_VERSION_template_haskell(2,16,0) forall (r :: RuntimeRep) (a :: TYPE r) m . -# else +#else forall a m . -# endif +#endif m (Syntax.TExp a) -> Splice m a -# if MIN_VERSION_template_haskell(2,17,0) +#if MIN_VERSION_template_haskell(2,17,0) liftSplice = liftCode -# else +#else liftSplice = id -# endif +#endif -- | A variant of 'liftTypedQuote' that is: -- @@ -1043,17 +1005,17 @@ -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. unsafeSpliceCoerce :: -# if MIN_VERSION_template_haskell(2,16,0) +#if MIN_VERSION_template_haskell(2,16,0) forall (r :: RuntimeRep) (a :: TYPE r) m . -# else +#else forall a m . -# endif +#endif Quote m => m Exp -> Splice m a -# if MIN_VERSION_template_haskell(2,17,0) +#if MIN_VERSION_template_haskell(2,17,0) unsafeSpliceCoerce = unsafeCodeCoerce -# else +#else unsafeSpliceCoerce = unsafeTExpCoerceQuote -# endif +#endif -- | A variant of 'unTypeCode' that takes a 'Splice' as an argument. Because -- this function takes a 'Splice' as an argyment, the type of this function @@ -1062,17 +1024,16 @@ -- -- Levity-polymorphic since /template-haskell-2.16.0.0/. unTypeSplice :: -# if MIN_VERSION_template_haskell(2,16,0) +#if MIN_VERSION_template_haskell(2,16,0) forall (r :: RuntimeRep) (a :: TYPE r) m . -# else +#else forall a m . -# endif +#endif Quote m => Splice m a -> m Exp -# if MIN_VERSION_template_haskell(2,17,0) +#if MIN_VERSION_template_haskell(2,17,0) unTypeSplice = unTypeCode -# else +#else unTypeSplice = unTypeQQuote -# endif #endif ------------------------------------------------------------------------------- diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/th-compat-0.1.5/tests/Language/Haskell/TH/Syntax/CompatSpec.hs new/th-compat-0.1.6/tests/Language/Haskell/TH/Syntax/CompatSpec.hs --- old/th-compat-0.1.5/tests/Language/Haskell/TH/Syntax/CompatSpec.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/th-compat-0.1.6/tests/Language/Haskell/TH/Syntax/CompatSpec.hs 2001-09-09 03:46:40.000000000 +0200 @@ -1,4 +1,3 @@ -{-# LANGUAGE CPP #-} {-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# LANGUAGE TemplateHaskell #-} @@ -11,14 +10,9 @@ import Language.Haskell.TH.Syntax hiding (newName) import Language.Haskell.TH.Syntax.Compat -import Prelude () -import Prelude.Compat - import Test.Hspec -#if MIN_VERSION_template_haskell(2,9,0) import Types -#endif main :: IO () main = hspec spec @@ -38,7 +32,6 @@ evaluate (runPureQ (unsafeQToQuote (qReport True "Explosion in 3... 2... 1..."))) `shouldThrow` errorCall "`unsafeQToQuote` does not support code that uses qReport" -#if MIN_VERSION_template_haskell(2,9,0) describe "IsCode" $ it "manipulates typed TH expressions in a backwards-compatible way" $ $$(fromCode (toCode [|| "abc" ||])) `shouldBe` "abc" @@ -59,7 +52,6 @@ it "allows unwrapping Code in a convenient, backwards-compatible way" $ $$(unsafeSpliceCoerce (return . ListE =<< traverse unTypeSplice [ [|| "abc" ||] ]) :: SpliceQ [String]) `shouldBe` ["abc"] -#endif newtype PureQ a = MkPureQ (State Uniq a) deriving (Functor, Applicative, Monad, MonadState Uniq) diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/th-compat-0.1.5/th-compat.cabal new/th-compat-0.1.6/th-compat.cabal --- old/th-compat-0.1.5/th-compat.cabal 2001-09-09 03:46:40.000000000 +0200 +++ new/th-compat-0.1.6/th-compat.cabal 2001-09-09 03:46:40.000000000 +0200 @@ -1,6 +1,6 @@ cabal-version: >=1.10 name: th-compat -version: 0.1.5 +version: 0.1.6 synopsis: Backward- (and forward-)compatible Quote and Code types description: This package defines a "Language.Haskell.TH.Syntax.Compat" module, which backports the @Quote@ and @Code@ types to @@ -20,13 +20,7 @@ copyright: (C) 2020 Ryan Scott category: Text build-type: Simple -tested-with: GHC == 7.0.4 - , GHC == 7.2.2 - , GHC == 7.4.2 - , GHC == 7.6.3 - , GHC == 7.8.4 - , GHC == 7.10.3 - , GHC == 8.0.2 +tested-with: GHC == 8.0.2 , GHC == 8.2.2 , GHC == 8.4.4 , GHC == 8.6.5 @@ -35,9 +29,10 @@ , GHC == 9.0.2 , GHC == 9.2.8 , GHC == 9.4.8 - , GHC == 9.6.4 - , GHC == 9.8.2 + , GHC == 9.6.6 + , GHC == 9.8.4 , GHC == 9.10.1 + , GHC == 9.12.1 extra-source-files: CHANGELOG.md, README.md source-repository head @@ -46,11 +41,8 @@ library exposed-modules: Language.Haskell.TH.Syntax.Compat - build-depends: base >= 4.3 && < 5 - , template-haskell >= 2.5 && < 2.22 - if !impl(ghc >= 8.0) - build-depends: fail == 4.9.* - , transformers >= 0.2 && < 0.7 + build-depends: base >= 4.9 && < 5 + , template-haskell >= 2.11 && < 2.24 if !impl(ghc >= 9.4) build-depends: filepath >= 1.2.0.0 && < 1.6 , directory >= 1.1.0.0 && < 1.4 @@ -65,11 +57,10 @@ main-is: Spec.hs other-modules: Language.Haskell.TH.Syntax.CompatSpec Types - build-depends: base >= 4.3 && < 5 - , base-compat >= 0.6 && < 0.14 + build-depends: base >= 4.9 && < 5 , hspec >= 2 && < 3 , mtl >= 2.1 && < 2.4 - , template-haskell >= 2.5 && < 2.22 + , template-haskell >= 2.5 && < 2.24 , th-compat build-tool-depends: hspec-discover:hspec-discover >= 2 hs-source-dirs: tests
