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
|
## Release v0.16.0
* Made `[%expect]` blocks always have type `unit`. Removed the need for monadic flush
operations. Expect tests inside concurrent frameworks like `Async` now expect output
during testing to be synchronous, or manually flushed. `Async` has, for some time, used
synchronous i/o for stdout and stderr when running expect tests.
* Moved corrected-file generation to a library `Make_corrected_file`. This allows expect
tests and other testing tools to share a method for writing out corrected files and
printing out errors for corrections.
## Old pre-v0.15 changelogs (very likely stale and incomplete)
## git version
- Make sure the code we generate can be typed without warning when `-principal`
is passed to the compiler.
## v0.11
- Change `ppx_expect` so that when `-diff-cmd -` is passed, they write the
.corrected file but don't diff it or exit with a non-zero exit code.
This is to make expect tests work with jbuilder. Jbuilder uses a separate
build tree, so the current behavior of `ppx_expect` doesn't work well with
jbuilder, especially the in-place behavior.
What is done instead in jbuilder is that after running the test runner, it
checks whether a .corrected file was created. If yes, jbuilder does the
diffing itself, and by default also replaces the source file by the
correction.'
- Regexp and glob matching in the output is now deprecated. This gets in the
way of the "promote" workflow.
People are instead encouraged to prefilter the output before displaying it.
- Tell the build system via output metadata whether a file contains
tests or not
- Depend on ppxlib instead of (now deprecated) ppx\_core, ppx\_driver,
ppx\_metaquot, ppx\_traverse and ppx\_type\_conv.
## v0.10
- In `[%expect]` expressions, disallowed backtraces, which can vary across
compilation configurations (X_LIBRARY_INLINING, flambda, etc.)
- Improved `ppx_expect` to support simultaneous runs of `inline_tests_runner` on
the same file.
- Added expect-test support for reaching a single `[%expect]` multiple times,
where the test only fails if the output was distinct
- For expect tests, relaxed the rule for `%expects` that are reached multiple
times. Instead of requiring all outputs to be identical, require only that
each output individually match the `%expect`.
- In synchronous expect tests, `[%expect]` now captures stderr in addition to
stdout. Previously, there was code that did this for Async expect tests. Now,
stderr is captured in all expect tests.
- Improved expect tests to get the current file when the test runs, rather than
when it is registered.
## v0.9
## 113.43.00
- Always flush Pervasives.stdout in the ppx_expect runtime.
We already do this, but it was missing in one place.
- Made the test framework resilient to user changing the current working directory during the test.
- Print newlines in `"`-strings as real newlines, not `\n`
- The expect test runtime breaks any executable that wants to work even if
cwd doesn't exist, like fe does. Fix that.
It also brings expect tests in line with what ppx\_inline\_test does, and removes the diff
due to absolute paths I was seeing in the output of `./inline_tests_runner -log` in some
other features. Concretely, here is what changes:
- Use the new context-free API
- Change the check in ppx\_expect to be a dynamic check. Instead of
checking that expect tests appears only at toplevel, we test that
they are run in the library they appear.
This has several consquence:
- ppx\_expect can use `Context_free` as well and doesn't require two extra passes
- expect tests can appear inside let%test_module
## 113.33.01
- Add dependency on `re.emacs`
## 113.33.00
- Don't remove trailing semicolons when producing a correction.
- Corrected `%expect`s with double quoted strings don't have the single space padding.
- In the ppx\_expect runtime, flush stdout before redirecting it
This is to avoid capturing leftover of the stdout buffer.
- Make sure the expect-test runtime doesn't generate
`%collector_never_triggered`, which is not accepted by ppx\_expect.
Instead generate:
`%expect {| DID NOT REACH THIS PROGRAM POINT |}`
- Make expect tests pass the user description to the inline test runtime
- Fix a race condition in the ppx\_expect runtime
- Change ppx\_expect be more permissive when matching whitespace in actual output.
See `ppx/ppx_expect/README.org` for details.
Changes to the implementation of ppx\_expect (including some refactoring):
- factorized the common bits between the runtime and ppx rewriter
into one library expect_test_common
- factorized different structures representing the same thing using polymorphism
- communicate data structures between the ppx rewriter and runtime
using a generated lifter instead of hand-written lifters
- splitted the matching and correction writing code: the .corrected is
now only created when needed instead of all the time
- added a concrete syntax tree to represent both the actual output and
expectation in non-exact mode.
This allow to keep the user formatting as much as possible
- made various bits more re-usable
- Change the default style of multi-line expectation to:
`%expect {|
abc
def |}`
More generally, try to preserve the formatting a bit more when
correcting from empty or single to multi-line.
- Arrange things so that when `open Async.Std` is opened, `%expect ...`
expressions are of type `unit Deferred.t` and flush stdout before
capturing the output.
## 113.24.00
Initial release.
|
