packages feed

th-desugar 1.1.0 → 1.1.1

raw patch · 5 files changed

+6/−22 lines, 5 filesdep ~template-haskell

Dependency ranges changed: template-haskell

Files

CHANGES.md view
@@ -1,3 +1,7 @@+Version 1.1.1+-------------+* Made compatible with HEAD after change in role annotation syntax.+ Version 1.1 ----------- * Added module `Language.Haskell.TH.Desugar.Expand`, which allows for expansion
Language/Haskell/TH/Desugar/Core.hs view
@@ -87,10 +87,6 @@ --   distinct, so we retain that distinction here. data DTyVarBndr = DPlainTV Name                 | DKindedTV Name DKind-#if __GLASGOW_HASKELL__ >= 707-                | DRoledTV Name Role-                | DKindedRoledTV Name DKind Role-#endif                 deriving (Show, Typeable, Data)  -- | Corresponds to TH's @Match@ type.@@ -516,10 +512,6 @@ dsTvb :: TyVarBndr -> Q DTyVarBndr dsTvb (PlainTV n) = return $ DPlainTV n dsTvb (KindedTV n k) = DKindedTV n <$> dsKind k-#if __GLASGOW_HASKELL__ >= 707-dsTvb (RoledTV n r) = return $ DRoledTV n r-dsTvb (KindedRoledTV n k r) = DKindedRoledTV n <$> dsKind k <*> pure r-#endif  -- | Desugar a @Pred@ dsPred :: Pred -> Q DPred
Language/Haskell/TH/Desugar/Expand.hs view
@@ -81,19 +81,11 @@ substTvb :: DTyVarBndr -> Name -> DTyVarBndr substTvb (DPlainTV _) n = DPlainTV n substTvb (DKindedTV _ k) n = DKindedTV n k-#if __GLASGOW_HASKELL__ >= 707-substTvb (DRoledTV _ r) n = DRoledTV n r-substTvb (DKindedRoledTV _ k r) n = DKindedRoledTV n k r-#endif  -- | Extract the name from a @TyVarBndr@ extractDTvbName :: DTyVarBndr -> Name extractDTvbName (DPlainTV n) = n extractDTvbName (DKindedTV n _) = n-#if __GLASGOW_HASKELL__ >= 707-extractDTvbName (DRoledTV n _) = n-extractDTvbName (DKindedRoledTV n _ _) = n-#endif  substPred :: M.Map Name DType -> DPred -> Q DPred substPred vars (DClassP name tys) =
Language/Haskell/TH/Desugar/Sweeten.hs view
@@ -59,10 +59,6 @@ tvbToTH :: DTyVarBndr -> TyVarBndr tvbToTH (DPlainTV n)           = PlainTV n tvbToTH (DKindedTV n k)        = KindedTV n (kindToTH k)-#if __GLASGOW_HASKELL__ >= 707-tvbToTH (DRoledTV n r)         = RoledTV n r-tvbToTH (DKindedRoledTV n k r) = KindedRoledTV n (kindToTH k) r-#endif  predToTH :: DPred -> Pred predToTH (DClassP n tys) = ClassP n (map typeToTH tys)
th-desugar.cabal view
@@ -1,5 +1,5 @@ name:           th-desugar-version:        1.1.0+version:        1.1.1 cabal-version:  >= 1.10 synopsis:       Functions to desugar Template Haskell homepage:       http://www.cis.upenn.edu/~eir/packages/th-desugar@@ -26,7 +26,7 @@ source-repository this   type:     git   location: https://github.com/goldfirere/th-desugar.git-  tag:      v1.1.0+  tag:      v1.1.1  library   build-depends: