diff --git a/megaparsec-tests.cabal b/megaparsec-tests.cabal --- a/megaparsec-tests.cabal +++ b/megaparsec-tests.cabal @@ -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 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, diff --git a/src/Test/Hspec/Megaparsec/AdHoc.hs b/src/Test/Hspec/Megaparsec/AdHoc.hs --- a/src/Test/Hspec/Megaparsec/AdHoc.hs +++ b/src/Test/Hspec/Megaparsec/AdHoc.hs @@ -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)) diff --git a/tests/Text/Megaparsec/Byte/LexerSpec.hs b/tests/Text/Megaparsec/Byte/LexerSpec.hs --- a/tests/Text/Megaparsec/Byte/LexerSpec.hs +++ b/tests/Text/Megaparsec/Byte/LexerSpec.hs @@ -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) diff --git a/tests/Text/Megaparsec/Char/LexerSpec.hs b/tests/Text/Megaparsec/Char/LexerSpec.hs --- a/tests/Text/Megaparsec/Char/LexerSpec.hs +++ b/tests/Text/Megaparsec/Char/LexerSpec.hs @@ -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) diff --git a/tests/Text/Megaparsec/CharSpec.hs b/tests/Text/Megaparsec/CharSpec.hs --- a/tests/Text/Megaparsec/CharSpec.hs +++ b/tests/Text/Megaparsec/CharSpec.hs @@ -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 diff --git a/tests/Text/Megaparsec/UnicodeSpec.hs b/tests/Text/Megaparsec/UnicodeSpec.hs --- a/tests/Text/Megaparsec/UnicodeSpec.hs +++ b/tests/Text/Megaparsec/UnicodeSpec.hs @@ -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" $ diff --git a/tests/Text/MegaparsecSpec.hs b/tests/Text/MegaparsecSpec.hs --- a/tests/Text/MegaparsecSpec.hs +++ b/tests/Text/MegaparsecSpec.hs @@ -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 ->