th-alpha 0.2.0.1 → 0.2.0.2

raw patch · 2 files changed

+21/−5 lines, 2 filesdep ~th-desugar

Dependency ranges changed: th-desugar

Files

• src/Language/Haskell/TH/Alpha.hs +19/−3
• th-alpha.cabal +2/−2

@@ -1,5 +1,6 @@ {-# LANGUAGE-      FunctionalDependencies+      CPP+    , FunctionalDependencies     , GeneralizedNewtypeDeriving     , RankNTypes     , FlexibleContexts@@ -39,7 +40,9 @@     ) where  import Language.Haskell.TH+#if !MIN_VERSION_th_desugar(1,5,0) import Language.Haskell.TH.Syntax  (Quasi)+#endif import Language.Haskell.TH.Desugar import Data.Function               (on) import Control.Monad.State@@ -151,7 +154,12 @@ -- -- >>> areExpAEq [| let x = 5 in x |] [| let y = 5 in y |] -- True-areExpAEq :: Quasi m+areExpAEq ::+#if MIN_VERSION_th_desugar(1,5,0)+            DsMonad m+#else+            Quasi m+#endif          => ExpQ    -- ^ Quoted expression          -> ExpQ    -- ^ Quoted expression          -> m Bool@@ -168,7 +176,15 @@ {--- | Compare two expressions for alpha-equivalence. Since this uses-} {--- th-desugar to desugar the expressions, returns a Bool in the Quasi-} {--- context.-}-expEqual :: Quasi m => Exp -> Exp -> m Bool+expEqual ::+#if MIN_VERSION_th_desugar(1,5,0)+            DsMonad m+#else+            Quasi m+#endif+         => Exp+         -> Exp+         -> m Bool expEqual t1 t2 = do     t1' <- dsExp t1     t2' <- dsExp t2

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                th-alpha-version:             0.2.0.1+version:             0.2.0.2 synopsis:            Alpha equivalence for TH Exp description:     Compare TH expressions (or clauses, patterns, etc.) for alpha equivalence.@@ -37,7 +37,7 @@   build-depends:       base >=4 && <5                      , template-haskell                      , containers-                     , th-desugar >= 1.4 && < 1.5+                     , th-desugar >= 1.4 && < 1.6                      , mtl >=2 && <3                      , transformers                      , mmorph > 1 && < 2