Skip to content

Latest commit

 

History

History
140 lines (84 loc) · 3.42 KB

ChangeLog.md

File metadata and controls

140 lines (84 loc) · 3.42 KB
Raw

Revision history for inspection-testing

0.5.0.3 -- 2023-12-29

  • Support GHC 9.10 (thanks Bodigrim)

0.5.0.2 -- 2023-07-10

  • Support GHC 9.8 (thanks Bodigrim)

0.5.0.1 -- 2023-01-15

  • Support mtl-2.3 and GHC 9.6 (thanks Bodigrim)

0.5 -- 2022-06-15

  • New equivalence ==~ that accepts different order of bindings in lets. (thanks @phadej)
  • When printing terms that differ, common up a common prefix of lambdas (thanks @phadej)

0.4.6.1 -- 2022-05-20

  • Support GHC 9.4 (thanks @parsonsmatt)

0.4.6.0 -- 2020-08-23

  • Support GHC 9.2 (thanks @Bodigrim)

0.4.5.0 -- 2020-04-28

  • Export some internals from Test.Inspection.Plugin, to make integration into testing frameworks easier (thanks @Bodigrim)

0.4.4.0 -- 2020-04-21

  • More GHC-9.0 compatibility (thanks @aadaa-fgtaa)

0.4.3.0 -- 2020-01-26

  • Ignores HPC ticks in (==-) (thanks @konn)
  • Add (=/-) operator (thanks @lysxia)
  • Add skip-O0 plugin option (thanks @AndrasKovacs)
  • GHC-9.0 compatibility (thanks @konn)
  • CI now runs on Github Actions (thanks @phadej)

0.4.2.4 -- 2020-01-26

  • Now prints the name of the type class on which a test fails, thanks to Harendra Kumar
  • More examples, thanks to Rafe

0.4.2.3 -- 2020-01-26

  • Support GHC-8.10, thanks to Ryan Scott via head.hackage for the patch

0.4.2.1 -- 2019-06-07

  • Bugfix release

0.4.2 -- 2019-06-05

  • 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)

0.4.1.2 -- 2019-02-23

  • Do not force recompilation with GHC >= 8.6
  • Support -fplugin-opt=Test.Inspection.Plugin:quiet

0.4.1.1 -- 2018-11-17

  • Fix a bug with doesNotUse and data constructors

0.4.1 -- 2018-11-17

  • New obligation doesNotUse
  • Use the Obligation’s testName in the plugin output.
  • In inspect, do not override srcLoc if already present.

0.4 -- 2018-10-12

  • Support GHC-8.6
  • On GHC-8.4 or newer, inspect and inspectTest will automatically load the plugin.

0.3 -- 2018-07-07

  • 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!

0.2.0.1 -- 2018-02-02

  • Support GHC HEAD (8.5)

0.2 -- 2018-01-17

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

0.1.2 -- 2017-11-20

  • Make (==-) a bit more liberal, and look through variable redefinitions that only change the type

0.1.1.2 -- 2017-11-12

  • Hotfix: Do not abort if there are expected failures

0.1.1.1 -- 2017-11-12

  • Show summary stats
  • Pull in less tests, to make inclusion in stackage easier

0.1.1 -- 2017-11-09

  • More complete output when (===) fails
  • Variant (==-) that ignores types when comparing terms

0.1 -- 2017-11-09

  • Repackaged as inspection-testing

0.1.1 -- 2017-09-05

  • Also run simplifier in stage 0

0.1 -- 2017-08-26

  • Initial release to hackage

0 -- 2017-02-06

  • Development of ghc-proofs commences