1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# Changelog for type-errors
## 0.2.0.2 (2023-04-08)
- Bumped version bounds
## 0.2.0.1 (2022-11-24)
- Bumped version bounds
## 0.2.0.0 (2019-07-03)
### Breaking Changes
- The `UnlessPhantom` and various `Subst` type families were broken in the
presence of stuckness. This rendered them almost entirely unusable --- so
they now have a new implementation in terms of `te`.
- Added `te`, a TemplateHaskell splice, which will perform symbolic
substitutions over types. See haddock for the migration details.
## Unreleased changes
|
