Changelog for inspection-testing-0.4.1.3
Revision history for inspection-testing
0.4.1.3 -- 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
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