Cabal revisions of inspection-testing-0.5.0.3
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: inspection-testing-version: 0.5.0.3-synopsis: GHC plugin to do inspection testing-description: Some carefully crafted libraries make promises to their- users beyond functionality and performance.- .- Examples are: Fusion libraries promise intermediate data- structures to be eliminated. Generic programming libraries promise- that the generic implementation is identical to the- hand-written one. Some libraries may promise allocation-free- or branch-free code.- .- Conventionally, the modus operandi in all these cases is- that the library author manually inspects the (intermediate or- final) code produced by the compiler. This is not only- tedious, but makes it very likely that some change, either- in the library itself or the surrounding eco-system,- breaks the library’s promised without anyone noticing.- .- This package provides a disciplined way of specifying such- properties, and have them checked by the compiler. This way,- this checking can be part of the ususal development cycle- and regressions caught early.- .- See the documentation in "Test.Inspection" or the project- webpage for more examples and more information.-category: Testing, Compiler Plugin-homepage: https://github.com/nomeata/inspection-testing-license: MIT-license-file: LICENSE-author: Joachim Breitner-maintainer: mail@joachim-breitner.de-copyright: 2017 Joachim Breitner-build-type: Simple-extra-source-files: ChangeLog.md, README.md-cabal-version: >=1.10-Tested-With: GHC == 8.0.2, GHC == 8.2.*, GHC == 8.4.*, GHC ==8.6.*, GHC ==8.8.*, GHC ==8.10.*, GHC ==9.0.*, GHC ==9.2.*, GHC ==9.4.*, GHC ==9.6.*, GHC ==9.8.*--source-repository head- type: git- location: git://github.com/nomeata/inspection-testing.git--library- exposed-modules: Test.Inspection- Test.Inspection.Plugin- Test.Inspection.Core- hs-source-dirs: src- build-depends: base >=4.9 && <4.21- build-depends: ghc >= 8.0.2 && <9.11- build-depends: template-haskell- build-depends: containers- build-depends: transformers- build-depends: mtl- default-language: Haskell2010- ghc-options: -Wall -Wno-name-shadowing--test-suite NS_NP- type: exitcode-stdio-1.0- hs-source-dirs: examples- main-is: NS_NP.hs- build-depends: inspection-testing- build-depends: base- default-language: Haskell2010- ghc-options: -main-is NS_NP- if impl(ghc < 8.4)- ghc-options: -fplugin=Test.Inspection.Plugin--test-suite HPCs- type: exitcode-stdio-1.0- hs-source-dirs: examples- main-is: HPCs.hs- build-depends: inspection-testing- build-depends: base- default-language: Haskell2010- ghc-options: -main-is HPCs- if impl(ghc < 8.4)- ghc-options: -fplugin=Test.Inspection.Plugin--test-suite simple- type: exitcode-stdio-1.0- hs-source-dirs: examples- main-is: Simple.hs- build-depends: inspection-testing- build-depends: base- default-language: Haskell2010- ghc-options: -main-is Simple- if impl(ghc < 8.4)- ghc-options: -fplugin=Test.Inspection.Plugin--test-suite simple-test- type: exitcode-stdio-1.0- hs-source-dirs: examples- main-is: SimpleTest.hs- build-depends: inspection-testing- build-depends: base- default-language: Haskell2010- if impl(ghc < 8.4)- ghc-options: -fplugin=Test.Inspection.Plugin--test-suite lets-test- type: exitcode-stdio-1.0- hs-source-dirs: examples- main-is: LetsTest.hs- build-depends: inspection-testing- build-depends: base- default-language: Haskell2010- if impl(ghc < 8.4)- ghc-options: -fplugin=Test.Inspection.Plugin--test-suite doesnotuse- type: exitcode-stdio-1.0- hs-source-dirs: examples- main-is: DoesNotUse.hs- build-depends: inspection-testing- build-depends: base- default-language: Haskell2010- ghc-options: -main-is DoesNotUse- if impl(ghc < 8.4)- ghc-options: -fplugin=Test.Inspection.Plugin--test-suite fusion- type: exitcode-stdio-1.0- hs-source-dirs: examples- main-is: Fusion.hs- build-depends: inspection-testing- build-depends: base- default-language: Haskell2010- ghc-options: -main-is Fusion- if impl(ghc < 8.4)- ghc-options: -fplugin=Test.Inspection.Plugin--test-suite generics- type: exitcode-stdio-1.0- hs-source-dirs: examples- main-is: Generics.hs- build-depends: inspection-testing- build-depends: base- default-language: Haskell2010- ghc-options: -main-is Generics- if impl(ghc < 8.4)- ghc-options: -fplugin=Test.Inspection.Plugin--test-suite dictionary- type: exitcode-stdio-1.0- hs-source-dirs: examples- main-is: Dictionary.hs- build-depends: inspection-testing- build-depends: base- default-language: Haskell2010- ghc-options: -main-is Dictionary- if impl(ghc < 8.4)- ghc-options: -fplugin=Test.Inspection.Plugin--test-suite mutual-recursion- type: exitcode-stdio-1.0- hs-source-dirs: examples- main-is: MutualRecursion.hs- build-depends: inspection-testing- build-depends: base- default-language: Haskell2010- ghc-options: -main-is MutualRecursion--test-suite regression- type: exitcode-stdio-1.0- hs-source-dirs: examples- main-is: Regression.hs- build-depends: inspection-testing- build-depends: base- default-language: Haskell2010- if impl(ghc < 8.4)- ghc-options: -fplugin=Test.Inspection.Plugin--test-suite worker-wrapper- type: exitcode-stdio-1.0- hs-source-dirs: examples- main-is: WorkerWrapper.hs- build-depends: inspection-testing- build-depends: base- default-language: Haskell2010- ghc-options: -main-is WorkerWrapper- if impl(ghc < 8.4)- ghc-options: -fplugin=Test.Inspection.Plugin--test-suite unsafe-coerce- type: exitcode-stdio-1.0- hs-source-dirs: examples- main-is: UnsafeCoerce.hs- build-depends: inspection-testing- build-depends: base- default-language: Haskell2010- ghc-options: -main-is UnsafeCoerce- if impl(ghc < 8.4)- ghc-options: -fplugin=Test.Inspection.Plugin--flag more-tests- description: Run tests that pull in specific versions of other packages- default: False--test-suite generic-lens- type: exitcode-stdio-1.0- hs-source-dirs: examples- main-is: GenericLens.hs- if flag(more-tests)- build-depends: inspection-testing- build-depends: base- build-depends: generic-lens ==2.1.0.0- else- buildable: False- default-language: Haskell2010- ghc-options: -main-is GenericLens- if impl(ghc < 8.4)- ghc-options: -fplugin=Test.Inspection.Plugin---flag old-text-tests- description: Run tests that exhibits bug in old text package. Only works with older version of GHC.- default: False--test-suite text- type: exitcode-stdio-1.0- hs-source-dirs: examples- main-is: Text.hs- if flag(old-text-tests)- build-depends: inspection-testing- build-depends: base- build-depends: text ==1.2.2.2- build-depends: bytestring- else- buildable: False- default-language: Haskell2010- ghc-options: -main-is Text- if impl(ghc < 8.4)- ghc-options: -fplugin=Test.Inspection.Plugin-+name: inspection-testing +version: 0.5.0.3 +x-revision: 1 +synopsis: GHC plugin to do inspection testing +description: Some carefully crafted libraries make promises to their + users beyond functionality and performance. + . + Examples are: Fusion libraries promise intermediate data + structures to be eliminated. Generic programming libraries promise + that the generic implementation is identical to the + hand-written one. Some libraries may promise allocation-free + or branch-free code. + . + Conventionally, the modus operandi in all these cases is + that the library author manually inspects the (intermediate or + final) code produced by the compiler. This is not only + tedious, but makes it very likely that some change, either + in the library itself or the surrounding eco-system, + breaks the library’s promised without anyone noticing. + . + This package provides a disciplined way of specifying such + properties, and have them checked by the compiler. This way, + this checking can be part of the ususal development cycle + and regressions caught early. + . + See the documentation in "Test.Inspection" or the project + webpage for more examples and more information. +category: Testing, Compiler Plugin +homepage: https://github.com/nomeata/inspection-testing +license: MIT +license-file: LICENSE +author: Joachim Breitner +maintainer: mail@joachim-breitner.de +copyright: 2017 Joachim Breitner +build-type: Simple +extra-source-files: ChangeLog.md, README.md +cabal-version: >=1.10 +Tested-With: GHC == 8.0.2, GHC == 8.2.*, GHC == 8.4.*, GHC ==8.6.*, GHC ==8.8.*, GHC ==8.10.*, GHC ==9.0.*, GHC ==9.2.*, GHC ==9.4.*, GHC ==9.6.*, GHC ==9.8.* + +source-repository head + type: git + location: git://github.com/nomeata/inspection-testing.git + +library + exposed-modules: Test.Inspection + Test.Inspection.Plugin + Test.Inspection.Core + hs-source-dirs: src + build-depends: base >=4.9 && <4.22 + build-depends: ghc >= 8.0.2 && <9.11 + build-depends: template-haskell + build-depends: containers + build-depends: transformers + build-depends: mtl + default-language: Haskell2010 + ghc-options: -Wall -Wno-name-shadowing + +test-suite NS_NP + type: exitcode-stdio-1.0 + hs-source-dirs: examples + main-is: NS_NP.hs + build-depends: inspection-testing + build-depends: base + default-language: Haskell2010 + ghc-options: -main-is NS_NP + if impl(ghc < 8.4) + ghc-options: -fplugin=Test.Inspection.Plugin + +test-suite HPCs + type: exitcode-stdio-1.0 + hs-source-dirs: examples + main-is: HPCs.hs + build-depends: inspection-testing + build-depends: base + default-language: Haskell2010 + ghc-options: -main-is HPCs + if impl(ghc < 8.4) + ghc-options: -fplugin=Test.Inspection.Plugin + +test-suite simple + type: exitcode-stdio-1.0 + hs-source-dirs: examples + main-is: Simple.hs + build-depends: inspection-testing + build-depends: base + default-language: Haskell2010 + ghc-options: -main-is Simple + if impl(ghc < 8.4) + ghc-options: -fplugin=Test.Inspection.Plugin + +test-suite simple-test + type: exitcode-stdio-1.0 + hs-source-dirs: examples + main-is: SimpleTest.hs + build-depends: inspection-testing + build-depends: base + default-language: Haskell2010 + if impl(ghc < 8.4) + ghc-options: -fplugin=Test.Inspection.Plugin + +test-suite lets-test + type: exitcode-stdio-1.0 + hs-source-dirs: examples + main-is: LetsTest.hs + build-depends: inspection-testing + build-depends: base + default-language: Haskell2010 + if impl(ghc < 8.4) + ghc-options: -fplugin=Test.Inspection.Plugin + +test-suite doesnotuse + type: exitcode-stdio-1.0 + hs-source-dirs: examples + main-is: DoesNotUse.hs + build-depends: inspection-testing + build-depends: base + default-language: Haskell2010 + ghc-options: -main-is DoesNotUse + if impl(ghc < 8.4) + ghc-options: -fplugin=Test.Inspection.Plugin + +test-suite fusion + type: exitcode-stdio-1.0 + hs-source-dirs: examples + main-is: Fusion.hs + build-depends: inspection-testing + build-depends: base + default-language: Haskell2010 + ghc-options: -main-is Fusion + if impl(ghc < 8.4) + ghc-options: -fplugin=Test.Inspection.Plugin + +test-suite generics + type: exitcode-stdio-1.0 + hs-source-dirs: examples + main-is: Generics.hs + build-depends: inspection-testing + build-depends: base + default-language: Haskell2010 + ghc-options: -main-is Generics + if impl(ghc < 8.4) + ghc-options: -fplugin=Test.Inspection.Plugin + +test-suite dictionary + type: exitcode-stdio-1.0 + hs-source-dirs: examples + main-is: Dictionary.hs + build-depends: inspection-testing + build-depends: base + default-language: Haskell2010 + ghc-options: -main-is Dictionary + if impl(ghc < 8.4) + ghc-options: -fplugin=Test.Inspection.Plugin + +test-suite mutual-recursion + type: exitcode-stdio-1.0 + hs-source-dirs: examples + main-is: MutualRecursion.hs + build-depends: inspection-testing + build-depends: base + default-language: Haskell2010 + ghc-options: -main-is MutualRecursion + +test-suite regression + type: exitcode-stdio-1.0 + hs-source-dirs: examples + main-is: Regression.hs + build-depends: inspection-testing + build-depends: base + default-language: Haskell2010 + if impl(ghc < 8.4) + ghc-options: -fplugin=Test.Inspection.Plugin + +test-suite worker-wrapper + type: exitcode-stdio-1.0 + hs-source-dirs: examples + main-is: WorkerWrapper.hs + build-depends: inspection-testing + build-depends: base + default-language: Haskell2010 + ghc-options: -main-is WorkerWrapper + if impl(ghc < 8.4) + ghc-options: -fplugin=Test.Inspection.Plugin + +test-suite unsafe-coerce + type: exitcode-stdio-1.0 + hs-source-dirs: examples + main-is: UnsafeCoerce.hs + build-depends: inspection-testing + build-depends: base + default-language: Haskell2010 + ghc-options: -main-is UnsafeCoerce + if impl(ghc < 8.4) + ghc-options: -fplugin=Test.Inspection.Plugin + +flag more-tests + description: Run tests that pull in specific versions of other packages + default: False + +test-suite generic-lens + type: exitcode-stdio-1.0 + hs-source-dirs: examples + main-is: GenericLens.hs + if flag(more-tests) + build-depends: inspection-testing + build-depends: base + build-depends: generic-lens ==2.1.0.0 + else + buildable: False + default-language: Haskell2010 + ghc-options: -main-is GenericLens + if impl(ghc < 8.4) + ghc-options: -fplugin=Test.Inspection.Plugin + + +flag old-text-tests + description: Run tests that exhibits bug in old text package. Only works with older version of GHC. + default: False + +test-suite text + type: exitcode-stdio-1.0 + hs-source-dirs: examples + main-is: Text.hs + if flag(old-text-tests) + build-depends: inspection-testing + build-depends: base + build-depends: text ==1.2.2.2 + build-depends: bytestring + else + buildable: False + default-language: Haskell2010 + ghc-options: -main-is Text + if impl(ghc < 8.4) + ghc-options: -fplugin=Test.Inspection.Plugin +
revision 2
name: inspection-testing version: 0.5.0.3 -x-revision: 1 +x-revision: 2 synopsis: GHC plugin to do inspection testing description: Some carefully crafted libraries make promises to their users beyond functionality and performance. Test.Inspection.Plugin Test.Inspection.Core hs-source-dirs: src - build-depends: base >=4.9 && <4.22 + build-depends: base >=4.9 && <4.21 build-depends: ghc >= 8.0.2 && <9.11 build-depends: template-haskell build-depends: containers
revision 3
name: inspection-testing version: 0.5.0.3 -x-revision: 2 +x-revision: 3 synopsis: GHC plugin to do inspection testing description: Some carefully crafted libraries make promises to their users beyond functionality and performance. Test.Inspection.Plugin Test.Inspection.Core hs-source-dirs: src - build-depends: base >=4.9 && <4.21 - build-depends: ghc >= 8.0.2 && <9.11 + build-depends: base >=4.9 && <4.22 + build-depends: ghc >= 8.0.2 && <9.13 build-depends: template-haskell build-depends: containers build-depends: transformers