FormalGrammars 0.3.1.0 → 0.3.1.1
raw patch · 4 files changed
+77/−29 lines, 4 filesdep +QuickCheckdep +smallcheckdep +tastydep ~HaTeXdep ~PrimitiveArraydep ~ansi-wl-pprintPVP ok
version bump matches the API change (PVP)
Dependencies added: QuickCheck, smallcheck, tasty, tasty-quickcheck, tasty-smallcheck, tasty-th
Dependency ranges changed: HaTeX, PrimitiveArray, ansi-wl-pprint, base, bytestring, cmdargs, data-default, lens, mtl, parsers, semigroups, text, transformers, trifecta, unordered-containers, vector
API changes (from Hackage documentation)
Files
- FormalGrammars.cabal +57/−28
- FormalLanguage/CFG/TH.hs +1/−1
- changelog.md +5/−0
- tests/properties.hs +14/−0
FormalGrammars.cabal view
@@ -1,7 +1,7 @@ name: FormalGrammars-version: 0.3.1.0-author: Christian Hoener zu Siederdissen, 2013-2016-copyright: Christian Hoener zu Siederdissen, 2013-2016+version: 0.3.1.1+author: Christian Hoener zu Siederdissen, 2013-2017+copyright: Christian Hoener zu Siederdissen, 2013-2017 homepage: https://github.com/choener/FormalGrammars bug-reports: https://github.com/choener/FormalGrammars/issues maintainer: choener@bioinf.uni-leipzig.de@@ -11,7 +11,7 @@ build-type: Simple stability: experimental cabal-version: >= 1.10.0-tested-with: GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.1+tested-with: GHC == 7.10.3, GHC == 8.0.1 synopsis: (Context-free) grammars in formal language theory description: <http://www.bioinf.uni-leipzig.de/Software/gADP/ generalized Algebraic Dynamic Programming>@@ -69,24 +69,24 @@ library build-depends: base >= 4.7 && < 5.0- , ansi-wl-pprint >= 0.6.7 && < 0.6.8- , bytestring >= 0.10 && < 0.11+ , ansi-wl-pprint >= 0.6.7+ , bytestring >= 0.10 , containers- , data-default >= 0.5 && < 0.7- , HaTeX >= 3.16 && < 4.0- , lens >= 4.0 && < 5.0- , mtl >= 2.0 && < 3.0- , parsers >= 0.12 && < 0.13- , semigroups >= 0.16 && < 0.19+ , data-default >= 0.5+ , HaTeX >= 3.16+ , lens >= 4.0+ , mtl >= 2.0+ , parsers >= 0.12+ , semigroups >= 0.16 , template-haskell- , text >= 1.0 && < 1.3- , transformers >= 0.3 && < 0.6- , trifecta >= 1.6 && < 1.7- , unordered-containers >= 0.2 && < 0.3- , vector >= 0.10 && < 0.12+ , text >= 1.0+ , transformers >= 0.3+ , trifecta >= 1.6+ , unordered-containers >= 0.2+ , vector >= 0.10 -- , ADPfusion == 0.5.2.*- , PrimitiveArray == 0.7.1.*+ , PrimitiveArray == 0.8.0.* exposed-modules: FormalLanguage FormalLanguage.CFG@@ -136,9 +136,10 @@ executable GrammarPP build-depends: base , ansi-wl-pprint- , cmdargs >= 0.10 && < 0.11- , FormalGrammars+ , cmdargs >= 0.10 , trifecta+ --+ , FormalGrammars hs-source-dirs: src default-language:@@ -155,11 +156,12 @@ buildable: True build-depends: base+ , template-haskell+ , vector+ -- , ADPfusion , FormalGrammars , PrimitiveArray- , template-haskell- , vector else buildable: False@@ -197,12 +199,13 @@ buildable: True build-depends: base- , ADPfusion , containers- , FormalGrammars- , PrimitiveArray , template-haskell , vector+ --+ , ADPfusion+ , FormalGrammars+ , PrimitiveArray else buildable: False@@ -241,12 +244,13 @@ buildable: True build-depends: base- , ADPfusion , containers- , FormalGrammars- , PrimitiveArray , template-haskell , vector+ --+ , ADPfusion+ , FormalGrammars+ , PrimitiveArray else buildable: False@@ -277,6 +281,31 @@ -ddump-simpl -ddump-stg -dsuppress-all++++test-suite properties+ type:+ exitcode-stdio-1.0+ main-is:+ properties.hs+ ghc-options:+ -threaded -rtsopts -with-rtsopts=-N+ hs-source-dirs:+ tests+ default-language:+ Haskell2010+ default-extensions: CPP+ , TemplateHaskell+ build-depends: base+ , QuickCheck+ , smallcheck+ , tasty >= 0.11+ , tasty-quickcheck >= 0.8+ , tasty-smallcheck >= 0.8+ , tasty-th >= 0.1+ --+ , FormalGrammars
FormalLanguage/CFG/TH.hs view
@@ -292,7 +292,7 @@ where go acc Deletion = [| $(acc) ADP.:| ADP.Deletion |] go acc sv | Just n <- M.lookup (Symbol [sv]) synNames = [| $(acc) ADP.:| $(varE n) |]- | otherwise = error $ "genSymbol:stacked: " ++ show s+ | otherwise = error $ "genSymbol:stacked: " ++ show (s,synTermNames) -- | catch-all error genSymbol s = error $ "genSymbol: " ++ show s let rhs = assert (not $ null rs) $ foldl1 (\acc z -> uInfixE acc (varE '(%)) z) . map genSymbol $ rs
changelog.md view
@@ -1,3 +1,8 @@+0.3.1.1+-------++- removed most upper bounds, and version bumped stuff+ 0.3.1.0 -------
+ tests/properties.hs view
@@ -0,0 +1,14 @@++module Main where++import Test.Tasty+import Test.Tasty.TH++++main :: IO ()+main = do+ defaultMain $ testGroup ""+ [+ ]+