tasty-inspection-testing 0.1 → 0.1.0.1
raw patch · 4 files changed
+26/−7 lines, 4 filesdep ~base
Dependency ranges changed: base
Files
- README.md +8/−0
- changelog.md +4/−0
- src/Test/Tasty/Inspection/Plugin.hs +9/−3
- tasty-inspection-testing.cabal +5/−4
README.md view
@@ -22,3 +22,11 @@ main :: IO () main = defaultMain $(inspectTest $ 'lhs === 'rhs) ```++Real world examples:++* https://hackage.haskell.org/package/random-1.2.1/src/test-inspection/Spec/Inspection.hs+* https://hackage.haskell.org/package/linear-base-0.2.0/src/test/Test/Data/V.hs+* https://hackage.haskell.org/package/text-2.0/src/tests/Tests/Properties/LowLevel.hs+* https://hackage.haskell.org/package/text-1.2.5.0/src/tests/Tests/Inspection/Strict.hs+* https://github.com/konn/sized/blob/676c2b81e55e708e7938acdf8c4d7db68db1c1cb/test/opt-test.hs
changelog.md view
@@ -1,3 +1,7 @@+# 0.1.0.1++* Support GHC 9.4.+ # 0.1 * Initial release.
src/Test/Tasty/Inspection/Plugin.hs view
@@ -12,7 +12,7 @@ module Test.Tasty.Inspection.Plugin (plugin) where -import Control.Monad (when, foldM)+import Control.Monad (foldM) import qualified Language.Haskell.TH.Syntax as TH import System.Exit (exitFailure) @@ -26,6 +26,10 @@ import GHC.Types.TyThing #endif +#if !MIN_VERSION_ghc(9,3,0)+import Control.Monad (when)+#endif+ import Test.Inspection (Obligation(..)) import qualified Test.Inspection.Plugin as P (checkProperty, CheckResult(..)) import Test.Tasty.Inspection.Internal (CheckResult(..))@@ -36,7 +40,7 @@ plugin :: Plugin plugin = defaultPlugin { installCoreToDos = install-#if __GLASGOW_HASKELL__ >= 806+#if MIN_VERSION_ghc(8,6,0) , pluginRecompile = \_args -> pure NoForceRecompile #endif }@@ -96,13 +100,15 @@ proofPass :: ModGuts -> CoreM ModGuts proofPass guts = do+#if !MIN_VERSION_ghc(9,3,0) dflags <- getDynFlags when (optLevel dflags < 1) $ warnMsg-#if MIN_VERSION_GLASGOW_HASKELL(8,9,0,0)+#if MIN_VERSION_ghc(8,9,0) NoReason #endif $ fsep $ map text $ words "Test.Inspection: Compilation without -O detected. Expect optimizations to fail."+#endif uncurry (foldM checkObligation) (extractObligations guts) partitionMaybe :: (a -> Maybe b) -> [a] -> ([a], [b])
tasty-inspection-testing.cabal view
@@ -1,10 +1,11 @@ name: tasty-inspection-testing-version: 0.1+version: 0.1.0.1 cabal-version: 1.18 build-type: Simple license: MIT license-file: LICENSE copyright: 2017 Joachim Breitner, 2021 Andrew Lelechenko+author: Joachim Breitner, Andrew Lelechenko maintainer: Andrew Lelechenko <andrew.lelechenko@gmail.com> homepage: https://github.com/Bodigrim/tasty-inspection-testing bug-reports: https://github.com/Bodigrim/tasty-inspection-testing/issues@@ -16,7 +17,7 @@ changelog.md README.md -tested-with: GHC==9.0.1, GHC==8.10.4, GHC==8.8.4, GHC==8.6.5, GHC==8.4.4, GHC==8.2.2, GHC==8.0.2+tested-with: GHC==9.2.2, GHC==9.0.2, GHC==8.10.7, GHC==8.8.4, GHC==8.6.5, GHC==8.4.4, GHC==8.2.2, GHC==8.0.2 source-repository head type: git@@ -26,11 +27,11 @@ exposed-modules: Test.Tasty.Inspection Test.Tasty.Inspection.Plugin other-modules: Test.Tasty.Inspection.Internal- build-depends: base < 5,+ build-depends: base < 4.18, ghc, inspection-testing >= 0.4.5 && < 0.5, tasty, template-haskell hs-source-dirs: src default-language: Haskell2010- ghc-options: -Wall+ ghc-options: -Wall -Wcompat