grammatical-parsers 0.4.1.1 → 0.4.1.2
raw patch · 5 files changed
+30/−11 lines, 5 filesdep ~parsersbuild-type:Customsetup-changedPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: parsers
API changes (from Hackage documentation)
- Text.Grampa.ContextFree.Continued: NoParse :: FailureInfo -> Result s v
+ Text.Grampa.ContextFree.Continued: NoParse :: FailureInfo -> Result (g :: (* -> *) -> *) s v
- Text.Grampa.ContextFree.Continued: Parsed :: !v -> !s -> Result s v
+ Text.Grampa.ContextFree.Continued: Parsed :: !v -> !s -> Result (g :: (* -> *) -> *) s v
- Text.Grampa.ContextFree.Continued: Parser :: (forall x. s -> (r -> s -> (FailureInfo -> x) -> x) -> (FailureInfo -> x) -> x) -> Parser s r
+ Text.Grampa.ContextFree.Continued: Parser :: (forall x. s -> (r -> s -> (FailureInfo -> x) -> x) -> (FailureInfo -> x) -> x) -> Parser (g :: (* -> *) -> *) s r
- Text.Grampa.ContextFree.Continued: [applyParser] :: Parser s r -> forall x. s -> (r -> s -> (FailureInfo -> x) -> x) -> (FailureInfo -> x) -> x
+ Text.Grampa.ContextFree.Continued: [applyParser] :: Parser (g :: (* -> *) -> *) s r -> forall x. s -> (r -> s -> (FailureInfo -> x) -> x) -> (FailureInfo -> x) -> x
- Text.Grampa.ContextFree.Continued: [parsedPrefix] :: Result s v -> !v
+ Text.Grampa.ContextFree.Continued: [parsedPrefix] :: Result (g :: (* -> *) -> *) s v -> !v
- Text.Grampa.ContextFree.Continued: [parsedSuffix] :: Result s v -> !s
+ Text.Grampa.ContextFree.Continued: [parsedSuffix] :: Result (g :: (* -> *) -> *) s v -> !s
- Text.Grampa.PEG.Backtrack: NoParse :: FailureInfo -> Result s v
+ Text.Grampa.PEG.Backtrack: NoParse :: FailureInfo -> Result (g :: (* -> *) -> *) s v
- Text.Grampa.PEG.Backtrack: Parsed :: !v -> !s -> Result s v
+ Text.Grampa.PEG.Backtrack: Parsed :: !v -> !s -> Result (g :: (* -> *) -> *) s v
- Text.Grampa.PEG.Backtrack: [parsedPrefix] :: Result s v -> !v
+ Text.Grampa.PEG.Backtrack: [parsedPrefix] :: Result (g :: (* -> *) -> *) s v -> !v
- Text.Grampa.PEG.Backtrack: [parsedSuffix] :: Result s v -> !s
+ Text.Grampa.PEG.Backtrack: [parsedSuffix] :: Result (g :: (* -> *) -> *) s v -> !s
Files
- CHANGELOG.md +5/−0
- Setup.hs +7/−2
- grammatical-parsers.cabal +9/−4
- test/Doctest.hs +6/−2
- test/Test.hs +3/−3
CHANGELOG.md view
@@ -1,3 +1,8 @@+Version 0.4.1.2+---------------+* Fixed the doctests using cabal-doctest+* Fixed a QuickCheck timeout, issue #20+ Version 0.4.1.1 --------------- * Fixed the doctests after cabal get
Setup.hs view
@@ -1,2 +1,7 @@-import Distribution.Simple-main = defaultMain+module Main where++import Distribution.Extra.Doctest (defaultMainWithDoctests)++main :: IO ()+main = defaultMainWithDoctests "doctests"+
grammatical-parsers.cabal view
@@ -1,5 +1,5 @@ name: grammatical-parsers-version: 0.4.1.1+version: 0.4.1.2 synopsis: parsers that combine into grammars description: /Gram/matical-/pa/rsers, or Grampa for short, is a library of parser types whose values are meant to be assigned@@ -14,13 +14,18 @@ maintainer: Mario Blažević <blamario@protonmail.com> copyright: (c) 2017 Mario Blažević category: Text, Parsing-build-type: Simple+build-type: Custom cabal-version: >=1.10 extra-source-files: README.md, CHANGELOG.md source-repository head type: git location: https://github.com/blamario/grampa-+custom-setup+ setup-depends:+ base >= 4 && <5,+ Cabal,+ cabal-doctest >= 1 && <1.1+ library hs-source-dirs: src exposed-modules: Text.Grampa,@@ -75,7 +80,7 @@ main-is: Doctest.hs other-modules: README ghc-options: -threaded -pgmL markdown-unlit- build-depends: base, rank2classes, grammatical-parsers, parsers, doctest >= 0.8+ build-depends: base, rank2classes, grammatical-parsers, doctest >= 0.8 build-tool-depends: markdown-unlit:markdown-unlit >= 0.5 && < 0.6 benchmark benchmarks
test/Doctest.hs view
@@ -1,3 +1,7 @@-import Test.DocTest+import Build_doctests (flags, pkgs, module_sources)+import Test.DocTest (doctest) -main = doctest ["-pgmL", "markdown-unlit", "-isrc", "test/README.lhs"]+main :: IO ()+main = do+ doctest (flags ++ pkgs ++ module_sources)+ doctest (flags ++ pkgs ++ ["-pgmL", "markdown-unlit", "-isrc", "test/README.lhs"])
test/Test.hs view
@@ -26,7 +26,7 @@ import Test.Feat.Enumerate (pay) import Test.Tasty (TestTree, defaultMain, testGroup) import Test.Tasty.QuickCheck (Arbitrary(..), Gen, Positive(..), Property,- (===), (==>), (.&&.), forAll, property, sized, testProperty, within)+ (===), (==>), (.&&.), forAll, mapSize, property, sized, testProperty, within) import Test.QuickCheck (verbose) import Test.QuickCheck.Checkers (Binop, EqProp(..), TestBatch, unbatch) import Test.QuickCheck.Classes (functor, monad, monoid, applicative, alternative,@@ -145,7 +145,7 @@ testProperty "not not" lookAheadNotNotP, testProperty "lookAhead anyToken" lookAheadTokenP], testGroup "classes"- [testBatch (monoid parser3s),+ [testBatch (((mapSize (min 10) <$>) <$>) <$> monoid parser3s), testBatch (functor parser3s), testBatch (applicative parser3s), testBatch (alternative parser2s),@@ -189,7 +189,7 @@ arbitrary = sized uniform testBatch :: TestBatch -> TestTree-testBatch (label, tests) = testGroup label (uncurry testProperty . (within 1000000 <$>) <$> tests)+testBatch (label, tests) = testGroup label (uncurry testProperty . (within 5000000 <$>) <$> tests) parser2s :: DescribedParser ([Bool], [Bool]) ([Bool], [Bool]) parser2s = undefined