summaryrefslogtreecommitdiff
path: root/libraries/base/changelog.md
diff options
context:
space:
mode:
authorBaldur Blöndal <baldurpet@gmail.com>2020-04-21 21:57:35 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-05-08 15:29:32 -0400
commit9749fe1223d182b1f8e7e4f7378df661c509f396 (patch)
tree5077b596f274ff179075028dbbb72bf836eacf43 /libraries/base/changelog.md
parent66f0a847255f15ec656a37d639556b7918f6aac2 (diff)
downloadhaskell-9749fe1223d182b1f8e7e4f7378df661c509f396.tar.gz
Specify kind variables for inferred kinds in base.
Diffstat (limited to 'libraries/base/changelog.md')
-rw-r--r--libraries/base/changelog.md8
1 files changed, 8 insertions, 0 deletions
diff --git a/libraries/base/changelog.md b/libraries/base/changelog.md
index c27b4fb1ca..0117815be8 100644
--- a/libraries/base/changelog.md
+++ b/libraries/base/changelog.md
@@ -2,6 +2,14 @@
## 4.15.0.0 *TBA*
+ * `Const` (`Data.Functor.Const`), `Compose` (`Data.Functor.Compose`),
+ `Product` (`Data.Functor.Product`), `Sum` (`Data.Functor.Sum`), `Coercion`
+ and `TestCoercion` (`Data.Type.Coercion`), `(:~:)` and `TestEquality`
+ (`Data.Type.Equality`); `UAddr`, `UChar`, `UDouble` `UFloat`, `UInt`,
+ `UWord`, `Rec0`, `D1`, `C1`, `S1`, `Datatype`, `Constructor`, `Selector`
+ (`GHC.Generics`) now use specified quantification, allowing the use of
+ visible kind application.
+
* `openFile` now calls the `open` system call with an `interruptible` FFI
call, ensuring that the call can be interrupted with `SIGINT` on POSIX
systems.