All Versions
Latest Version
Avg Release Cycle
68 days
Latest Release
914 days ago

Changelog History
Page 1

  • v0.4.2 Changes

    June 05, 2019
    • Be less picky if mutually recursive definitions appear in a different order in the source
    • βž• Add obligation coreOf, which succeeds, but lets you dump the core of a single symbol (thanks to @phadej)
    • πŸ‘Œ Support -fplugin-opt=Test.Inspection.Plugin:keep-going-O0 (thanks to @phadej)
  • v0.4.2.4 Changes

    January 26, 2020
    • βœ… Now prints the name of the type class on which a test fails, thanks to Harendra Kumar
    • More examples, thanks to Rafe
  • v0.4.2.3 Changes

    January 26, 2020
    • πŸ‘Œ Support GHC-8.10, thanks to Ryan Scott via head.hackage for the patch
  • v0.4.2.1 Changes

    June 07, 2019
    • πŸ›  Bugfix release
  • v0.4.1 Changes

    November 17, 2018
    • πŸ†• New obligation doesNotUse
    • βœ… Use the Obligation’s testName in the plugin output.
    • In inspect, do not override srcLoc if already present.
  • v0.4.1.2 Changes

    February 23, 2019
    • Do not force recompilation with GHC >= 8.6
    • πŸ‘Œ Support -fplugin-opt=Test.Inspection.Plugin:quiet
  • v0.4.1.1 Changes

    November 17, 2018
    • πŸ›  Fix a bug with doesNotUse and data constructors
  • v0.4 Changes

    October 12, 2018
    • πŸ‘Œ Support GHC-8.6
    • βœ… On GHC-8.4 or newer, inspect and inspectTest will automatically load the plugin.
  • v0.3 Changes

    July 07, 2018
    • βœ… On GHC-8.5 or newer, use of inspect or inspectTest without actually loading the plugin will cause compilation to fail at type-checking time (thanks to @adamgundry for the idea)
    • πŸ‘Œ Support for hasNoTypeClass (thanks to @phadej)
    • πŸ‘Œ Support for hasNoGenerics (thanks to @isovector)
    • No need to keep referenced variables alive using annotations: Simply mentioning them in a Template Haskell splice keeps them alive!
  • v0.2 Changes

    January 17, 2018
    • βœ… With $(inspectTest obligation) you can now get the result of inspection testing at run-time, for integration into your test suite.