loc 0.1.3.14 → 0.1.3.16
raw patch · 6 files changed
+131/−127 lines, 6 filesdep ~hedgehogPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: hedgehog
API changes (from Hackage documentation)
Files
- changelog.md +4/−0
- loc.cabal +3/−3
- test/doctest.hs +0/−6
- test/hedgehog.hs +0/−118
- test/test-with-doctest.hs +6/−0
- test/test-with-hedgehog.hs +118/−0
changelog.md view
@@ -1,3 +1,7 @@+0.1.3.16 - 2022 Jan 24++ - Fix test suite failure on case-insensitive file systems+ 0.1.3.14 - 2022 Jan 13 - Drop support for GHC 8.0 and 8.2
loc.cabal view
@@ -1,7 +1,7 @@ cabal-version: 3.0 name: loc-version: 0.1.3.14+version: 0.1.3.16 synopsis: Types representing line and column positions and ranges in text files. @@ -59,13 +59,13 @@ test-suite doctest import: test type: exitcode-stdio-1.0- main-is: doctest.hs+ main-is: test-with-doctest.hs build-depends: doctest >= 0.16 && < 0.21 test-suite hedgehog import: test type: exitcode-stdio-1.0- main-is: hedgehog.hs+ main-is: test-with-hedgehog.hs hs-source-dirs: loc-test-src build-depends: hedgehog ^>= 1.0 other-modules: Test.Loc.Hedgehog.Gen
− test/doctest.hs
@@ -1,6 +0,0 @@-import Prelude-import Test.DocTest--main :: IO ()-main =- doctest ["-XNoImplicitPrelude", "src"]
− test/hedgehog.hs
@@ -1,118 +0,0 @@-{-# LANGUAGE TemplateHaskell #-}--import Data.Loc-import Data.Loc.Internal.Prelude--import qualified Data.Loc.Area as Area-import qualified Data.Loc.Span as Span--import Hedgehog-import System.IO (hSetEncoding, stdout, stderr, utf8)--import qualified Data.List as List-import qualified Hedgehog.Gen as Gen-import qualified Hedgehog.Range as Range-import qualified Test.Loc.Hedgehog.Gen as Gen--main :: IO ()-main =- hSetEncoding stdout utf8 *>- hSetEncoding stderr utf8 *>- checkParallel $$discover >>= \ok ->- when (not ok) exitFailure--prop_Span_add_mempty :: Property-prop_Span_add_mempty =- property $- forAll Gen.span' >>= \a ->- spanArea a + mempty === spanArea a- where- (+) = (Area.+)--prop_Span_subtract_mempty :: Property-prop_Span_subtract_mempty =- property $- forAll Gen.span' >>= \a ->- spanArea a - mempty === spanArea a- where- (-) = (Area.-)--prop_Area_addition_commutativity :: Property-prop_Area_addition_commutativity =- property $- forAll Gen.area' >>= \a ->- forAll Gen.area' >>= \b ->- a + b === b + a- where- (+) = (Area.+)--prop_Area_add_mempty :: Property-prop_Area_add_mempty =- property $- forAll Gen.area' >>= \a ->- a + mempty === a- where- (+) = (Area.+)--prop_Area_subtract_mempty :: Property-prop_Area_subtract_mempty =- property $- forAll Gen.area' >>= \a ->- a - mempty === a- where- (-) = (Area.-)--prop_Area_addition_and_subtraction :: Property-prop_Area_addition_and_subtraction =- property $- forAll Gen.area' >>= \a ->- forAll Gen.area' >>= \b ->- forAll Gen.area' >>= \c ->- a - b - c === a - (b + c)- where- (+) = (Area.+)- (-) = (Area.-)--prop_Span_joinAsc :: Property-prop_Span_joinAsc =- property $- forAll (Gen.list (Range.linear 1 10) Gen.span') >>= \spans ->- areaSpansAsc (foldMap spanArea spans) === Span.joinAsc (List.sort spans)--prop_Area_addSpan :: Property-prop_Area_addSpan =- property $- forAll Gen.area' >>= \a ->- forAll Gen.span' >>= \s ->- Area.addSpan s a === areaUnion (spanArea s) a--prop_Area_fromTo_mempty1 :: Property-prop_Area_fromTo_mempty1 =- property $- forAll Gen.loc' >>= \x ->- forAll Gen.loc' >>= \y ->- (Area.fromTo x y == mempty) === (x == y)--prop_Area_fromTo_mempty2 :: Property-prop_Area_fromTo_mempty2 =- property $- forAll Gen.loc' >>= \x ->- Area.fromTo x x === mempty--prop_Loc_read_show :: Property-prop_Loc_read_show =- property $- forAll Gen.loc' >>= \x ->- read (show x) === x--prop_Span_read_show :: Property-prop_Span_read_show =- property $- forAll Gen.span' >>= \x ->- read (show x) === x--prop_Area_read_show :: Property-prop_Area_read_show =- property $- forAll Gen.area' >>= \x ->- read (show x) === x
+ test/test-with-doctest.hs view
@@ -0,0 +1,6 @@+import Prelude+import Test.DocTest++main :: IO ()+main =+ doctest ["-XNoImplicitPrelude", "src"]
+ test/test-with-hedgehog.hs view
@@ -0,0 +1,118 @@+{-# LANGUAGE TemplateHaskell #-}++import Data.Loc+import Data.Loc.Internal.Prelude++import qualified Data.Loc.Area as Area+import qualified Data.Loc.Span as Span++import Hedgehog+import System.IO (hSetEncoding, stdout, stderr, utf8)++import qualified Data.List as List+import qualified Hedgehog.Gen as Gen+import qualified Hedgehog.Range as Range+import qualified Test.Loc.Hedgehog.Gen as Gen++main :: IO ()+main =+ hSetEncoding stdout utf8 *>+ hSetEncoding stderr utf8 *>+ checkParallel $$discover >>= \ok ->+ when (not ok) exitFailure++prop_Span_add_mempty :: Property+prop_Span_add_mempty =+ property $+ forAll Gen.span' >>= \a ->+ spanArea a + mempty === spanArea a+ where+ (+) = (Area.+)++prop_Span_subtract_mempty :: Property+prop_Span_subtract_mempty =+ property $+ forAll Gen.span' >>= \a ->+ spanArea a - mempty === spanArea a+ where+ (-) = (Area.-)++prop_Area_addition_commutativity :: Property+prop_Area_addition_commutativity =+ property $+ forAll Gen.area' >>= \a ->+ forAll Gen.area' >>= \b ->+ a + b === b + a+ where+ (+) = (Area.+)++prop_Area_add_mempty :: Property+prop_Area_add_mempty =+ property $+ forAll Gen.area' >>= \a ->+ a + mempty === a+ where+ (+) = (Area.+)++prop_Area_subtract_mempty :: Property+prop_Area_subtract_mempty =+ property $+ forAll Gen.area' >>= \a ->+ a - mempty === a+ where+ (-) = (Area.-)++prop_Area_addition_and_subtraction :: Property+prop_Area_addition_and_subtraction =+ property $+ forAll Gen.area' >>= \a ->+ forAll Gen.area' >>= \b ->+ forAll Gen.area' >>= \c ->+ a - b - c === a - (b + c)+ where+ (+) = (Area.+)+ (-) = (Area.-)++prop_Span_joinAsc :: Property+prop_Span_joinAsc =+ property $+ forAll (Gen.list (Range.linear 1 10) Gen.span') >>= \spans ->+ areaSpansAsc (foldMap spanArea spans) === Span.joinAsc (List.sort spans)++prop_Area_addSpan :: Property+prop_Area_addSpan =+ property $+ forAll Gen.area' >>= \a ->+ forAll Gen.span' >>= \s ->+ Area.addSpan s a === areaUnion (spanArea s) a++prop_Area_fromTo_mempty1 :: Property+prop_Area_fromTo_mempty1 =+ property $+ forAll Gen.loc' >>= \x ->+ forAll Gen.loc' >>= \y ->+ (Area.fromTo x y == mempty) === (x == y)++prop_Area_fromTo_mempty2 :: Property+prop_Area_fromTo_mempty2 =+ property $+ forAll Gen.loc' >>= \x ->+ Area.fromTo x x === mempty++prop_Loc_read_show :: Property+prop_Loc_read_show =+ property $+ forAll Gen.loc' >>= \x ->+ read (show x) === x++prop_Span_read_show :: Property+prop_Span_read_show =+ property $+ forAll Gen.span' >>= \x ->+ read (show x) === x++prop_Area_read_show :: Property+prop_Area_read_show =+ property $+ forAll Gen.area' >>= \x ->+ read (show x) === x