rere 0.2.0.1 → 0.2.0.2
raw patch · 2 files changed
+20/−25 lines, 2 filesdep −quickcheck-instancesdep ~QuickCheckdep ~basedep ~finnew-uploaderPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies removed: quickcheck-instances
Dependency ranges changed: QuickCheck, base, fin, parsec, vec
API changes (from Hackage documentation)
- RERE.Absurd: instance RERE.Absurd.Absurd Data.Void.Void
+ RERE.Absurd: instance RERE.Absurd.Absurd GHC.Base.Void
- RERE: cfgToRE :: (SNatI n, Ord a) => Vec ('S n) Name -> CFG ('S n) a -> RE a
+ RERE: cfgToRE :: forall (n :: Nat) a. (SNatI n, Ord a) => Vec ('S n) Name -> CFG ('S n) a -> RE a
- RERE: putLatexCFG :: Vec n Name -> CFG n Void -> IO ()
+ RERE: putLatexCFG :: forall (n :: Nat). Vec n Name -> CFG n Void -> IO ()
- RERE: type CFG n a = Vec n (CFGBase n a)
+ RERE: type CFG (n :: Nat) a = Vec n CFGBase n a
- RERE: type CFGBase n a = RE (Either (Fin n) a)
+ RERE: type CFGBase (n :: Nat) a = RE Either Fin n a
- RERE.CFG: cfgToRE :: (SNatI n, Ord a) => Vec ('S n) Name -> CFG ('S n) a -> RE a
+ RERE.CFG: cfgToRE :: forall (n :: Nat) a. (SNatI n, Ord a) => Vec ('S n) Name -> CFG ('S n) a -> RE a
- RERE.CFG: type CFG n a = Vec n (CFGBase n a)
+ RERE.CFG: type CFG (n :: Nat) a = Vec n CFGBase n a
- RERE.CFG: type CFGBase n a = RE (Either (Fin n) a)
+ RERE.CFG: type CFGBase (n :: Nat) a = RE Either Fin n a
- RERE.Examples.JSON: jsonCFG :: forall a. Ord a => CFG Size a
+ RERE.Examples.JSON: jsonCFG :: Ord a => CFG Size a
- RERE.Examples.JSON: type Size = Mult2 (Plus Nat5 Nat6)
+ RERE.Examples.JSON: type Size = Mult2 Plus Nat5 Nat6
- RERE.LaTeX: putLatexCFG :: Vec n Name -> CFG n Void -> IO ()
+ RERE.LaTeX: putLatexCFG :: forall (n :: Nat). Vec n Name -> CFG n Void -> IO ()
Files
- changelog.md +4/−0
- rere.cabal +16/−25
changelog.md view
@@ -1,3 +1,7 @@+# 0.2.0.2++- Compatibility with GHC 9.12, minor package description cleanup (#34)+ # 0.2 - Change LaTeX generation output
rere.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.2 name: rere-version: 0.2.0.1+version: 0.2.0.2 synopsis: Regular-expressions extended with fixpoints for context-free powers @@ -10,36 +10,31 @@ we can recognize context-free grammars. author: Oleg Grenrus <oleg.grenrus@iki.fi>-maintainer: Oleg Grenrus <oleg.grenrus@iki.fi>+maintainer: Artem Pelenitsyn <a@pelenitsyn.top> license: BSD-3-Clause license-file: LICENSE extra-source-files:- changelog.md jsverify.json+extra-doc-files:+ changelog.md rere.sty tested-with:- GHC ==7.0.4- || ==7.2.2- || ==7.4.2- || ==7.6.3- || ==7.8.4- || ==7.10.3- || ==8.0.2- || ==8.2.2- || ==8.4.4+ GHC ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.8- || ==9.4.7- || ==9.6.3- || ==9.8.1+ || ==9.4.8+ || ==9.6.7+ || ==9.8.4+ || ==9.10.2+ || ==9.12.2 source-repository head type: git- location: https://github.com/phadej/rere.git+ location: https://github.com/ulysses4ever/rere.git flag rere-cfg description: CFG functionality, adds dependency on fin and vec@@ -61,13 +56,13 @@ -- GHC boot libraries build-depends:- , base >=4.3.0.0 && <4.20- , containers ^>=0.4.0.0 || ^>=0.5.0.0 || ^>=0.6.0.1+ , base >=4.3.0.0 && <5+ , containers >=0.4.0.0 && <0.9 , parsec ^>=3.1.12.0 , transformers ^>=0.3.0.0 || ^>=0.4.2.0 || ^>=0.5.2.0 || ^>=0.6.1.0 -- other dependencies- build-depends: QuickCheck ^>=2.14.2+ build-depends: QuickCheck >=2.14.2 && <2.17 -- compat if !impl(ghc >=7.10)@@ -153,10 +148,7 @@ , containers , criterion ^>=1.5.5.0 || ^>=1.6.0.0 , derp- , fin- , parsec , rere- , vec if !impl(ghc >=8.0) build-depends: semigroups >=0.18.4 && <0.21@@ -167,7 +159,7 @@ if flag(rere-intersection) cpp-options: -DRERE_INTERSECTION - if !(flag(rere-cfg) && impl(ghc >=7.8))+ if !flag(rere-cfg) buildable: False test-suite properties@@ -179,10 +171,9 @@ , base , containers , QuickCheck- , quickcheck-instances ^>=0.3.30 , rere , tasty ^>=1.4.0.1 || ^>=1.5- , tasty-quickcheck ^>=0.10.1.1+ , tasty-quickcheck ^>=0.10.1.1 || ^>=0.11 if flag(rere-intersection) cpp-options: -DRERE_INTERSECTION