File tree Expand file tree Collapse file tree 1 file changed +8
-0
lines changed Expand file tree Collapse file tree 1 file changed +8
-0
lines changed Original file line number Diff line number Diff line change 4
4
5
5
### Breaking changes
6
6
7
+ * ` MainReturn ` , ` MainException ` and the pattern synonyms ` TraceMainReturn ` ,
8
+ ` TraceMainException ` changed their signature. They will now also show the main thread id.
9
+
7
10
#### Breaking changes
8
11
9
12
* Renamed ` ThreadId ` to ` IOSimThreadId ` to avoid a clash with ` ThreadId `
14
17
a constructor for internal failures. This improved error reporting when
15
18
there's a bug in ` IOSimPOR ` . Currently it's only used by some of the
16
19
assertions in ` IOSimPOR ` .
20
+ * added pretty printer for ` SimResult ` , and other pretty printer improvements.
17
21
18
22
#### Non breaking changes
19
23
29
33
{1,2}.2` , a non racy step is printed as ` Thread [ 1,2] .2`.
30
34
* Fixed trace of calls to the ` deschedule ` function.
31
35
* Exposed ` Timeout ` type as part of the ` newTimeout ` API.
36
+ * When ` explorationDebugLevel ` is set, avoid printing the same trace twice.
37
+ * Reimplemented ` labelTVarIO ` and ` traceTVarIO ` in ` ST ` monad, which simplifies
38
+ trace of these calls.
39
+ * Fixed ` traceTVar ` for ` TVar ` 's created with ` registerDelay ` .
32
40
33
41
## 1.2.0.0
34
42
You can’t perform that action at this time.
0 commit comments