1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
|
# Revision history for inspection-testing
## 0.6.2 -- 2025-06-13
* Fix an bug that would cause a GHC panic
* Fix `=/~` and `=/-`
* Syntax directed comparison of lets
(all thanks Oleg Grenrus)
## 0.6.1 -- 2025-06-11
* Improve presentation of term inequalities (thanks Oleg Grenrus)
## 0.6 -- 2025-01-01
* Support GHC 9.10.1 (thanks Andre Van Der Merwe)
* Support GHC 9.12 (thanks Erik de Castro Lopo)
* Ignore SourceNote tick (thanks Potato Hatsue)
## 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
|
