codet 0.1.0.1 → 0.1.0.2
raw patch · 3 files changed
+30/−6 lines, 3 filesdep ~basedep ~containersdep ~template-haskellPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, containers, template-haskell, time
API changes (from Hackage documentation)
- Language.Haskell.TH.CodeT: appCodeT :: Quote m => CodeT m f -> CodeT m x -> CodeT m (f x)
+ Language.Haskell.TH.CodeT: appCodeT :: forall {k1} {k2} (m :: Type -> Type) (f :: k1 -> k2) (x :: k1). Quote m => CodeT m f -> CodeT m x -> CodeT m (f x)
- Language.Haskell.TH.CodeT: class LiftT a
+ Language.Haskell.TH.CodeT: class LiftT (a :: k)
- Language.Haskell.TH.CodeT: codeT :: (LiftT a, Quote m) => CodeT m a
+ Language.Haskell.TH.CodeT: codeT :: forall (m :: Type -> Type). (LiftT a, Quote m) => CodeT m a
- Language.Haskell.TH.CodeT: data CodeT q a
+ Language.Haskell.TH.CodeT: data CodeT (q :: Type -> Type) (a :: k)
- Language.Haskell.TH.CodeT: sigCode :: Quote q => Code q a -> CodeT q a -> Code q a
+ Language.Haskell.TH.CodeT: sigCode :: forall (q :: Type -> Type) a. Quote q => Code q a -> CodeT q a -> Code q a
- Language.Haskell.TH.CodeT: sigCodeT :: Quote q => CodeT q (a :: k) -> CodeT q k -> CodeT q a
+ Language.Haskell.TH.CodeT: sigCodeT :: forall (q :: Type -> Type) k (a :: k). Quote q => CodeT q a -> CodeT q k -> CodeT q a
- Language.Haskell.TH.CodeT: type CodeTQ = CodeT Q
+ Language.Haskell.TH.CodeT: type CodeTQ = CodeT Q :: k -> Type
- Language.Haskell.TH.CodeT: unTypeCodeT :: CodeT m a -> m Type
+ Language.Haskell.TH.CodeT: unTypeCodeT :: forall {k} m (a :: k). CodeT m a -> m Type
- Language.Haskell.TH.CodeT.Unsafe: UnsafeCodeT :: q Type -> CodeT q a
+ Language.Haskell.TH.CodeT.Unsafe: UnsafeCodeT :: q Type -> CodeT (q :: Type -> Type) (a :: k)
- Language.Haskell.TH.CodeT.Unsafe: appCodeT :: Quote m => CodeT m f -> CodeT m x -> CodeT m (f x)
+ Language.Haskell.TH.CodeT.Unsafe: appCodeT :: forall {k1} {k2} (m :: Type -> Type) (f :: k1 -> k2) (x :: k1). Quote m => CodeT m f -> CodeT m x -> CodeT m (f x)
- Language.Haskell.TH.CodeT.Unsafe: class LiftT a
+ Language.Haskell.TH.CodeT.Unsafe: class LiftT (a :: k)
- Language.Haskell.TH.CodeT.Unsafe: codeT :: (LiftT a, Quote m) => CodeT m a
+ Language.Haskell.TH.CodeT.Unsafe: codeT :: forall (m :: Type -> Type). (LiftT a, Quote m) => CodeT m a
- Language.Haskell.TH.CodeT.Unsafe: newtype CodeT q a
+ Language.Haskell.TH.CodeT.Unsafe: newtype CodeT (q :: Type -> Type) (a :: k)
- Language.Haskell.TH.CodeT.Unsafe: sigCode :: Quote q => Code q a -> CodeT q a -> Code q a
+ Language.Haskell.TH.CodeT.Unsafe: sigCode :: forall (q :: Type -> Type) a. Quote q => Code q a -> CodeT q a -> Code q a
- Language.Haskell.TH.CodeT.Unsafe: sigCodeT :: Quote q => CodeT q (a :: k) -> CodeT q k -> CodeT q a
+ Language.Haskell.TH.CodeT.Unsafe: sigCodeT :: forall (q :: Type -> Type) k (a :: k). Quote q => CodeT q a -> CodeT q k -> CodeT q a
- Language.Haskell.TH.CodeT.Unsafe: type CodeTQ = CodeT Q
+ Language.Haskell.TH.CodeT.Unsafe: type CodeTQ = CodeT Q :: k -> Type
- Language.Haskell.TH.CodeT.Unsafe: unTypeCodeT :: CodeT m a -> m Type
+ Language.Haskell.TH.CodeT.Unsafe: unTypeCodeT :: forall {k} m (a :: k). CodeT m a -> m Type
- Language.Haskell.TH.CodeT.Unsafe: unsafeCodeTCoerce :: Quote q => q Type -> CodeT q a
+ Language.Haskell.TH.CodeT.Unsafe: unsafeCodeTCoerce :: forall {k} q (a :: k). Quote q => q Type -> CodeT q a
- Language.Haskell.TH.CodeT.Unsafe: unsafeCodeTName :: Quote m => Name -> CodeT m a
+ Language.Haskell.TH.CodeT.Unsafe: unsafeCodeTName :: forall {k} (m :: Type -> Type) (a :: k). Quote m => Name -> CodeT m a
- Language.Haskell.TH.CodeT.Unsafe: unsafeCodeTNameD :: String -> String -> String -> forall m. Quote m => CodeT m a
+ Language.Haskell.TH.CodeT.Unsafe: unsafeCodeTNameD :: forall {k} (a :: k). String -> String -> String -> forall (m :: Type -> Type). Quote m => CodeT m a
- Language.Haskell.TH.CodeT.Unsafe: unsafeCodeTNameTC :: String -> String -> String -> forall m. Quote m => CodeT m a
+ Language.Haskell.TH.CodeT.Unsafe: unsafeCodeTNameTC :: forall {k} (a :: k). String -> String -> String -> forall (m :: Type -> Type). Quote m => CodeT m a
Files
- codet.cabal +13/−6
- tests/codet-tests-914.txt +16/−0
- tests/codet-tests.hs +1/−0
codet.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name: codet-version: 0.1.0.1+version: 0.1.0.2 license: BSD-3-Clause license-file: LICENSE author: Oleg Grenrus <oleg.grenrus@iki.fi>@@ -10,7 +10,14 @@ build-type: Simple extra-doc-files: CHANGELOG.md tested-with:- GHC ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.5 || ==9.8.2 || ==9.10.1+ GHC ==9.0.2+ || ==9.2.8+ || ==9.4.8+ || ==9.6.7+ || ==9.8.4+ || ==9.10.3+ || ==9.12.4+ || ==9.14.1 synopsis: CodeT description: CodeT.@@ -33,12 +40,12 @@ -- 4.16.4.0 to allow ghc-9.2.3 used by Hackage docbuilder 2023-12 build-depends:- , base ^>=4.15.1.0 || ^>=4.16.3.0 || ^>=4.17.2.1 || ^>=4.18.1.0 || ^>=4.19.0.0 || ^>=4.20.0.0+ , base ^>=4.15.1.0 || ^>=4.16.3.0 || ^>=4.17.2.1 || ^>=4.18.1.0 || ^>=4.19.0.0 || ^>=4.20.0.0 || ^>=4.21.0.0 || ^>=4.22.0.0 , bytestring ^>=0.10.2.1 || ^>=0.11.4.0 || ^>=0.12.0.2- , containers ^>=0.6.4.1 || ^>=0.7- , template-haskell ^>=2.17.0.0 || ^>=2.18.0.0 || ^>=2.19.0.0 || ^>=2.20.0.0 || ^>=2.21.0.0 || ^>=2.22.0.0+ , containers ^>=0.6.4.1 || ^>=0.7 || ^>=0.8+ , template-haskell ^>=2.17.0.0 || ^>=2.18.0.0 || ^>=2.19.0.0 || ^>=2.20.0.0 || ^>=2.21.0.0 || ^>=2.22.0.0 || ^>=2.23.0.0 || ^>=2.24.0.0 , text ^>=1.2.5.0 || ^>=2.0.2 || ^>=2.1- , time ^>=1.9.3 || ^>=1.11.1 || ^>=1.12.2+ , time ^>=1.9.3 || ^>=1.11.1 || ^>=1.12.2 || ^>=1.14 || ^>=1.15 test-suite codet-tests import: language
+ tests/codet-tests-914.txt view
@@ -0,0 +1,16 @@+GHC.Internal.Types.Int+(ConT (Name (OccName "Int") (NameG (TcClsName) (PkgName "ghc-internal") (ModName "GHC.Internal.Types"))))+GHC.Internal.Types.List GHC.Internal.Types.Int+(AppT (ConT (Name (OccName "List") (NameG (TcClsName) (PkgName "ghc-internal") (ModName "GHC.Internal.Types")))) (ConT (Name (OccName "Int") (NameG (TcClsName) (PkgName "ghc-internal") (ModName "GHC.Internal.Types")))))+1+(LitT (NumTyLit (1)))+"string"+(LitT (StrTyLit "string"))+'c'+(LitT (CharTyLit ('c')))+GHC.Internal.Types.Int+(ConT (Name (OccName "Int") (NameG (TcClsName) (PkgName "ghc-internal") (ModName "GHC.Internal.Types"))))+(GHC.Internal.Types.->)+(ConT (Name (OccName "->") (NameG (TcClsName) (PkgName "ghc-internal") (ModName "GHC.Internal.Types"))))+GHC.Internal.Prim.TYPE (GHC.Internal.Types.BoxedRep GHC.Internal.Types.Lifted)+(AppT (ConT (Name (OccName "TYPE") (NameG (TcClsName) (PkgName "ghc-internal") (ModName "GHC.Internal.Prim")))) (AppT (ConT (Name (OccName "BoxedRep") (NameG (DataName) (PkgName "ghc-internal") (ModName "GHC.Internal.Types")))) (ConT (Name (OccName "Lifted") (NameG (DataName) (PkgName "ghc-internal") (ModName "GHC.Internal.Types"))))))
tests/codet-tests.hs view
@@ -36,6 +36,7 @@ ghcVer :: Int -> Int ghcVer v+ | v >= 914 = 914 -- 9.14+ has more stuff defined in GHC.Internal.* (instead of ghc-prim) | v >= 910 = 910 -- 9.10+ has stuff defined in GHC.Internal.* | v >= 906 = 906 -- 9.6+ prints GHC.Types.List, not [] | v >= 902 = 902 -- 9.2+ has Char kind