megaparsec-tests 9.7.0 → 9.7.1
raw patch · 7 files changed
+18/−26 lines, 7 filesdep ~QuickCheckdep ~megaparsecPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: QuickCheck, megaparsec
API changes (from Hackage documentation)
- Test.Hspec.Megaparsec.AdHoc: instance (Test.QuickCheck.Arbitrary.Arbitrary (Text.Megaparsec.Stream.Token s), GHC.Classes.Ord (Text.Megaparsec.Stream.Token s), Test.QuickCheck.Arbitrary.Arbitrary e, GHC.Classes.Ord e) => Test.QuickCheck.Arbitrary.Arbitrary (Text.Megaparsec.Error.ParseError s e)
- Test.Hspec.Megaparsec.AdHoc: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (GHC.Base.NonEmpty a)
+ Test.Hspec.Megaparsec.AdHoc: instance (Test.QuickCheck.Arbitrary.Arbitrary (Text.Megaparsec.Stream.Token s), GHC.Classes.Ord (Text.Megaparsec.Stream.Token s), GHC.Classes.Ord e) => Test.QuickCheck.Arbitrary.Arbitrary (Text.Megaparsec.Error.ParseError s e)
- Test.Hspec.Megaparsec.AdHoc: grs :: (forall m. MonadParsecDbg Void String m => m a) -> String -> (Either (ParseErrorBundle String Void) a -> Expectation) -> Expectation
+ Test.Hspec.Megaparsec.AdHoc: grs :: (forall (m :: Type -> Type). MonadParsecDbg Void String m => m a) -> String -> (Either (ParseErrorBundle String Void) a -> Expectation) -> Expectation
- Test.Hspec.Megaparsec.AdHoc: grs' :: (forall m. MonadParsecDbg Void String m => m a) -> String -> ((State String Void, Either (ParseErrorBundle String Void) a) -> Expectation) -> Expectation
+ Test.Hspec.Megaparsec.AdHoc: grs' :: (forall (m :: Type -> Type). MonadParsecDbg Void String m => m a) -> String -> ((State String Void, Either (ParseErrorBundle String Void) a) -> Expectation) -> Expectation
Files
- megaparsec-tests.cabal +8/−8
- src/Test/Hspec/Megaparsec/AdHoc.hs +2/−5
- tests/Text/Megaparsec/Byte/LexerSpec.hs +1/−1
- tests/Text/Megaparsec/Char/LexerSpec.hs +1/−1
- tests/Text/Megaparsec/CharSpec.hs +0/−5
- tests/Text/Megaparsec/UnicodeSpec.hs +1/−1
- tests/Text/MegaparsecSpec.hs +5/−5
megaparsec-tests.cabal view
@@ -1,11 +1,11 @@ cabal-version: 2.4 name: megaparsec-tests-version: 9.7.0+version: 9.7.1 license: BSD-2-Clause license-file: LICENSE.md maintainer: Mark Karpov <markkarpov92@gmail.com> author: Megaparsec contributors-tested-with: ghc ==9.6.3 ghc ==9.8.2 ghc ==9.10.1+tested-with: ghc ==9.10.3 ghc ==9.12.4 ghc ==9.14.1 homepage: https://github.com/mrkkrp/megaparsec bug-reports: https://github.com/mrkkrp/megaparsec/issues synopsis: Test utilities and the test suite of Megaparsec@@ -24,13 +24,13 @@ hs-source-dirs: src default-language: Haskell2010 build-depends:- QuickCheck >=2.10 && <2.16,+ QuickCheck >=2.17 && <2.19, base >=4.15 && <5, bytestring >=0.2 && <0.13,- containers >=0.5 && <0.8,+ containers >=0.5 && <0.9, hspec >=2 && <3, hspec-megaparsec >=2 && <3,- megaparsec ==9.7.0,+ megaparsec ==9.7.1, mtl >=2.2.2 && <3, text >=0.2 && <2.2, transformers >=0.4 && <0.7@@ -63,14 +63,14 @@ default-language: Haskell2010 build-depends:- QuickCheck >=2.10 && <2.16,+ QuickCheck >=2.17 && <2.19, base >=4.15 && <5, bytestring >=0.2 && <0.13, case-insensitive >=1.2 && <1.3,- containers >=0.5 && <0.8,+ containers >=0.5 && <0.9, hspec >=2 && <3, hspec-megaparsec >=2 && <3,- megaparsec ==9.7.0,+ megaparsec ==9.7.1, megaparsec-tests, mtl >=2.2.2 && <3, scientific >=0.3.1 && <0.4,
src/Test/Hspec/Megaparsec/AdHoc.hs view
@@ -235,7 +235,7 @@ toChar :: Word8 -> Char toChar = chr . fromIntegral --- | Covert a char to byte.+-- | Convert a char to byte. fromChar :: Char -> Maybe Word8 fromChar x = let p = ord x@@ -293,7 +293,7 @@ ] instance- (Arbitrary (Token s), Ord (Token s), Arbitrary e, Ord e) =>+ (Arbitrary (Token s), Ord (Token s), Ord e) => Arbitrary (ParseError s e) where arbitrary =@@ -344,6 +344,3 @@ instance Arbitrary BL.ByteString where arbitrary = BL.pack <$> arbitrary--instance (Arbitrary a) => Arbitrary (NonEmpty a) where- arbitrary = NE.fromList <$> (arbitrary `suchThat` (not . null))
tests/Text/Megaparsec/Byte/LexerSpec.hs view
@@ -263,7 +263,7 @@ prs p s `shouldParse` n prs' p s `succeedsLeaving` "" context "with scientific" $- it "parses singed scientific numbers" $+ it "parses signed scientific numbers" $ property $ \n -> do let p = signed (hidden B.space) scientific s = B8.pack $ either show show (n :: Either Integer Double)
tests/Text/Megaparsec/Char/LexerSpec.hs view
@@ -497,7 +497,7 @@ prs p s `shouldParse` n prs' p s `succeedsLeaving` "" context "with scientific" $- it "parses singed scientific numbers" $+ it "parses signed scientific numbers" $ property $ \n -> do let p = signed (hidden C.space) scientific s = either show show (n :: Either Integer Double)
tests/Text/Megaparsec/CharSpec.hs view
@@ -1,5 +1,3 @@-{-# OPTIONS_GHC -fno-warn-orphans #-}- module Text.Megaparsec.CharSpec (spec) where import Control.Monad@@ -12,9 +10,6 @@ import Test.QuickCheck import Text.Megaparsec import Text.Megaparsec.Char--instance Arbitrary GeneralCategory where- arbitrary = elements [minBound .. maxBound] spec :: Spec spec = do
tests/Text/Megaparsec/UnicodeSpec.hs view
@@ -6,7 +6,7 @@ spec :: Spec spec = do describe "stringLength" $- it "computes correct length in the presense of wide chars" $+ it "computes correct length in the presence of wide chars" $ Unicode.stringLength "123 구구 이면" `shouldBe` 13 describe "charLength" $ do it "returns 1 for non-wide chars" $
tests/Text/MegaparsecSpec.hs view
@@ -209,7 +209,7 @@ s = [c, b] prs p s `shouldFailWith` err 0 (utok c <> etok a <> etok b) prs' p s `failsLeaving` s- context "when stream is emtpy" $+ context "when stream is empty" $ it "signals correct parse error" $ property $ \a b -> do let p = char a <|> (char b *> char a)@@ -1162,7 +1162,7 @@ grs p "" (`shouldFailWith` TrivialError 0 us ps) describe "fancyFailure" $- it "singals correct parse error" $+ it "signals correct parse error" $ property $ \xs -> do let p :: (MonadParsec Void String m) => m () p = void (fancyFailure xs)@@ -1253,8 +1253,8 @@ p = void (registerFailure us ps) grs p "" (`shouldFailWith` TrivialError 0 us ps) - describe "reisterFancyFailure" $- it "singals correct parse error" $+ describe "registerFancyFailure" $+ it "signals correct parse error" $ property $ \xs -> do let p :: (MonadParsec Void String m) => m () p = void (registerFancyFailure xs)@@ -1777,7 +1777,7 @@ describe "mkParsec" $ it "enables defining new primitives" $ do- -- This example lifts breakOn from text, although in order to re-use+ -- This example lifts breakOn from text, although in order to reuse -- the machinery that we have here it parses String, hence -- conversions. The parser always succeeds. let breakOn end = mkParsec $ \s ->