haskell-tools-rewrite 0.7.0.0 → 0.8.0.0

raw patch · 3 files changed

+10/−10 lines, 3 filesdep ~haskell-tools-astdep ~haskell-tools-prettyprintdep ~haskell-tools-rewritePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: haskell-tools-ast, haskell-tools-prettyprint, haskell-tools-rewrite

API changes (from Hackage documentation)

Files

• Language/Haskell/Tools/AST/Gen/Decls.hs +2/−2
• Language/Haskell/Tools/AST/Match/Decls.hs +2/−2
• haskell-tools-rewrite.cabal +6/−6

@@ -320,7 +320,7 @@ mkTypeFamily dh famSpec = mkAnn child $ UTypeFamilyDecl (mkAnn (child <> child) $ UTypeFamily dh (mkAnnMaybe (after " " opt) famSpec))
 
 -- | Creates a closed type family declaration ( @type family F x where F Int = (); F a = Int@ )
-mkClosedTypeFamily :: DeclHead dom -> Maybe (KindConstraint dom) -> [TypeEqn dom] -> Decl dom
+mkClosedTypeFamily :: DeclHead dom -> Maybe (TypeFamilySpec dom) -> [TypeEqn dom] -> Decl dom
 mkClosedTypeFamily dh kind typeqs = mkAnn (child <> child <> " where " <> child)
                                       $ UClosedTypeFamilyDecl dh (mkAnnMaybe (after " " opt) kind) (mkAnnList (indented list) typeqs)
 
@@ -333,7 +333,7 @@ mkTypeFamilyKindSpec = mkAnn child . UTypeFamilyKind
 
 -- | Specifies the injectivity of a type family (@ = r | r -> a @)
-mkTypeFamilyInjectivitySpec :: Name dom -> [Name dom] -> TypeFamilySpec dom
+mkTypeFamilyInjectivitySpec :: TyVar dom -> [Name dom] -> TypeFamilySpec dom
 mkTypeFamilyInjectivitySpec res dependent
   = mkAnn child (UTypeFamilyInjectivity $ mkAnn (child <> " -> " <> child) $ UInjectivityAnn res (mkAnnList (separatedBy " " list) dependent))
 

@@ -344,7 +344,7 @@ pattern GadtDataInstance keyw instRule kind cons  <- Ann _ (UGDataInstDecl keyw instRule kind cons )
 
 -- | A closed type family declaration
-pattern ClosedTypeFamily :: DeclHead dom -> MaybeKindConstraint dom -> TypeEqnList dom -> Decl dom
+pattern ClosedTypeFamily :: DeclHead dom -> MaybeTypeFamilySpec dom -> TypeEqnList dom -> Decl dom
 pattern ClosedTypeFamily dh kind typeqs <- Ann _ (UClosedTypeFamilyDecl dh kind typeqs)
 
 -- | Specifies the kind of a type family (@ :: * -> * @)
@@ -352,7 +352,7 @@ pattern TypeFamilyKindSpec kind <- Ann _ (UTypeFamilyKind kind)
 
 -- | Specifies the injectivity of a type family (@ = r | r -> a @)
-pattern TypeFamilyInjectivitySpec :: Name dom -> NameList dom -> TypeFamilySpec dom
+pattern TypeFamilyInjectivitySpec :: TyVar dom -> NameList dom -> TypeFamilySpec dom
 pattern TypeFamilyInjectivitySpec res dependent <- Ann _ (UTypeFamilyInjectivity (Ann _ (UInjectivityAnn res dependent)))
 
 -- | Type equations as found in closed type families (@ T A = S @)

@@ -1,5 +1,5 @@ name:                haskell-tools-rewrite
-version:             0.7.0.0
+version:             0.8.0.0
 synopsis:            Facilities for generating new parts of the Haskell-Tools AST
 description:         Contains utility functions to generate parts of the Haskell-Tools AST. Generates these elements to be compatible with the source annotations that are already present on the AST. The package is divided into modules based on which language elements can the given module generate. This packages should be used during the transformations to generate parts of the new AST.
 homepage:            https://github.com/haskell-tools/haskell-tools
@@ -44,8 +44,8 @@                      , containers                >= 0.5  && < 0.6
                      , references                >= 0.3  && < 0.4
                      , ghc                       >= 8.0  && < 8.1
-                     , haskell-tools-ast         >= 0.7  && < 0.8
-                     , haskell-tools-prettyprint >= 0.7  && < 0.8
+                     , haskell-tools-ast         >= 0.8  && < 0.9
+                     , haskell-tools-prettyprint >= 0.8  && < 0.9
   default-language:    Haskell2010
 
 test-suite haskell-tools-rewrite-tests
@@ -58,7 +58,7 @@                      , tasty-hunit               >= 0.9 && < 0.10
                      , directory                 >= 1.2 && < 1.4
                      , filepath                  >= 1.4 && < 2.0
-                     , haskell-tools-ast         >= 0.7 && < 0.8
-                     , haskell-tools-prettyprint >= 0.7 && < 0.8
-                     , haskell-tools-rewrite     >= 0.7 && < 0.8
+                     , haskell-tools-ast         >= 0.8 && < 0.9
+                     , haskell-tools-prettyprint >= 0.8 && < 0.9
+                     , haskell-tools-rewrite     >= 0.8 && < 0.9
   default-language:    Haskell2010