Skip to content

Commit 13926ff

Browse files
committed
io-sim: added CHANGELOG.md file
1 parent 0729018 commit 13926ff

File tree

1 file changed

+29
-0
lines changed

1 file changed

+29
-0
lines changed

io-sim/CHANGELOG.md

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,34 @@
11
# Revsion history of io-sim
22

3+
## next
4+
5+
### Breaking changes
6+
7+
#### Breaking changes
8+
9+
* Renamed `ThreadId` to `IOSimThreadId` to avoid a clash with `ThreadId`
10+
associated type family of `MonadFork`. It makes it much simpler to paste
11+
failing `ScheduleControl` in `ghci` or tests.
12+
* `BlockedReason` was modified: `BlockedOnOther` was removed, in favour of `BlockedOnDelay` and `BlockOnThrowTo`.
13+
* The `Failure` type (for example returned by `runSim`) now also contains
14+
a constructor for internal failures. This improved error reporting when
15+
there's a bug in `IOSimPOR`. Currently it's only used by some of the
16+
assertions in `IOSimPOR`.
17+
18+
#### Non breaking changes
19+
20+
* Refactored the internal API to avoid `unsafePerformIO`.
21+
* Fixed bugs which lead to discovery of schedules which are impossible to run.
22+
* Added haddocks, refactored the code base to improve readability.
23+
* Fixed reported `step` in `EventTxWakup`
24+
* Added debugging information schedule, (`explorationDebugLevel` option).
25+
Mostly useful for debugging `IOSimPOR` itself. This information will
26+
contains `Effect`, discovered races and schedules.
27+
* Addded or improved pretty printers for `SimTrace`. Among other changes,
28+
a racy `StepId`: `(RacyThreadId [1,2], 2)`, is now pretty printed as `Thread
29+
{1,2}.2`, a non racy step is printed as `Thread [1,2].2`.
30+
* Fixed trace of calls to the `deschedule` function.
31+
332
## 1.2.0.0
433

534
### Breaking changes

0 commit comments

Comments
 (0)