packages feed

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 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 ->