path: root/debian/changelog
diff options
authorJoey Hess2019-07-02 00:46:21 -0400
committerJoey Hess2019-07-02 00:46:21 -0400
commit2ba2cda972f484771b763603bf09d555003861b7 (patch)
tree13c79ae8e9f46cf6c9ec5353ca366555da0e0ab1 /debian/changelog
parent7ac0fbfa247ca153a6187c47dde9fc3a94c9cdb5 (diff)
Revert "Revert "custom type error messages""
This reverts commit 665ea0d3d9e1b0e90278fd659dee0ef8642030da.
Diffstat (limited to 'debian/changelog')
1 files changed, 23 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog
index c263fc96..c74cd929 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,5 +1,26 @@
-propellor (5.8.1) UNRELEASED; urgency=medium
+propellor (5.9.0) UNRELEASED; urgency=medium
+ * Avoid displaying an excessive amount of type error messages when many
+ properties have been combined in a props list.
+ * Added custom type error messages when Properties don't combine due to
+ conflicting MetaTypes.
+ * Added custom type error messages for ensureProperty and tightenTargets.
+ * Note that those changes made ghc 8.0.1 in a few cases unable to infer
+ types when ensureProperty or tightenTargets is used. Adding a type
+ annotation will work around this problem, if you cannot upgrade
+ to a newer ghc that handles them better.
+ * Use the type-errors library to detect when the type checker gets stuck
+ unable to reduce type-level operations on MetaTypes, and avoid
+ displaying massive error messages in such a case.
+ * But, since type-errors is a new library not available in eg Debian
+ yet, added a WithTypeErrors build flag. When the library is not
+ available, cabal will automatically disable that build flag,
+ and it will build without the type-errors library.
+ * ensureProperty: The constraints have been simplified
+ to EnsurePropertyAllowed. (API change)
+ * ensureProperty: The contraints have been simplified
+ to TightenTargetsAllowed. (API change)
+ * CheckCombinable generates a Bool. (API change)
* Libvirt.installed: install libvirt-daemon-system
Thanks, David Bremner