th-expand-syns 0.3.0.2 → 0.3.0.3
raw patch · 2 files changed
+5/−5 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Language.Haskell.TH.ExpandSyns: substInCon :: (Name, Type) -> Type -> Type
+ Language.Haskell.TH.ExpandSyns: substInCon :: (Name, Type) -> Con -> Con
Files
Language/Haskell/TH/ExpandSyns.hs view
@@ -202,7 +202,7 @@ -- -- > type E x = forall y. Either x y -- >--- > ... expandSyns [t| forall y. E y |]+-- > ... expandSyns [t| forall y. y -> E y |] -- -- The example as given may actually work correctly without any special capture-avoidance depending -- on how GHC handles the @y@s, but in any case, the input type to expandSyns may be an explicit@@ -291,5 +291,5 @@ substInType = subst -- | Capture-free substitution-substInCon :: (Name,Type) -> Type -> Type+substInCon :: (Name,Type) -> Con -> Con substInCon = subst
th-expand-syns.cabal view
@@ -1,5 +1,5 @@ name: th-expand-syns-version: 0.3.0.2+version: 0.3.0.3 synopsis: Expands type synonyms in Template Haskell ASTs description: Expands type synonyms in Template Haskell ASTs category: Template Haskell@@ -12,8 +12,8 @@ extra-source-files: testing/Main.hs source-repository head- type: darcs- location: http://code.haskell.org/~daniels/th-expand-syns+ type: git+ location: git://github.com/DanielSchuessler/th-expand-syns.git Library build-depends: base >= 4 && < 5, template-haskell, syb, containers