|author||Joey Hess||2019-07-01 18:27:48 -0400|
|committer||Joey Hess||2019-07-01 22:06:21 -0400|
optionally use type-errors to detect stuckness
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. This is most often used when combining properties of different types. If the MetaTypes don't have an OS in common, the error message used to be "Property " followed by pages of MetaTypes operations. Now it looks like this: • Cannot combine Properties: Property <unknown> Property HasInfo + Debian + Buntish + ArchLinux + FreeBSD (Property <unknown> is often due to a partially applied Property constructor, or due to passing the wrong type to a Property constructor.) Also it's used in ensureProperty to detect a case where the outer MetaTypes need to be inferred in order to check if the inner MetaTypes match, but the type checker is unable to infer it: • ensureProperty outer Property type is not able to be inferred here. Consider adding a type annotation. • When checking the inferred type writeConfig :: forall (outer :: [Propellor.Types.MetaTypes.MetaType]) t. And it's used in tightenTargets to detect when ghc is unable to infer the desired type of Property: • Unable to infer desired Property type in this use of tightenTargets. Consider adding a type annotation. • When checking the inferred type mk :: forall (tightened :: [Propellor.Types.MetaTypes.MetaType]).
Diffstat (limited to 'debian')
1 files changed, 8 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog
index 8944ff8f..c21c29f1 100644
@@ -3,8 +3,15 @@ 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.
+ conflicting MetaTypes.
* Added custom type error messages for ensureProperty and tightenTargets.
+ * 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