summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2019-07-01optionally use type-errors to detect stucknessJoey Hess
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]).
2019-07-01custom type error messagesJoey Hess
* 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. * 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) This commit was sponsored by Jake Vosloo on Patreon.
2019-07-01setting up joeyconfig after mergeJoey Hess
2019-07-01Merge branch 'master' into joeyconfigJoey Hess
2019-07-01remove no longer needed -fno-warn-redundant-constraintsJoey Hess
Commit b1038365960693a013d7026f25d026a1fd098062 suggested that it be moved to per-module when support for ghc 7 was dropped, so I removed it from the cabal file, but there were no build warnings without it so did not need to add it to any modules. (Tested only with ghc 8.4.4)
2019-07-01fixJoey Hess
2019-07-01type-errors libraryJoey Hess
2019-06-30moar watchdogJoey Hess
2019-06-15Merge branch 'joeyconfig'Joey Hess
2019-06-15responseJoey Hess
2019-06-15Merge branch 'master' of ssh://propellor.branchable.comJoey Hess
2019-06-15changelogJoey Hess
2019-06-15Libvirt.installed: install libvirt-daemon-systemDavid Bremner
Several things recommend libvirt-daemon, but not for whatever reason libvirt-daemon-system. This means the libvirt-daemon is not started, which can cause virt-install to fail. Installing libvirt-daemon explicitly is probably overkill, but avoids problems in case the dependencies of libvirt-daemon-system change.
2019-06-15Added a comments@aa9ff9ce06b08acfd2a93ebd342ce6879430fbdd
2019-06-08Added a commentspwhitton
2019-06-08(no commit message)david
2019-06-06Added a comments@aa9ff9ce06b08acfd2a93ebd342ce6879430fbdd
2019-06-06Added a comments@aa9ff9ce06b08acfd2a93ebd342ce6879430fbdd
2019-06-05Added a commentspwhitton
2019-06-04Added a comments@aa9ff9ce06b08acfd2a93ebd342ce6879430fbdd
2019-06-03propellor spinJoey Hess
2019-06-03Added a commentspwhitton
2019-06-02Added a comments@aa9ff9ce06b08acfd2a93ebd342ce6879430fbdd
2019-06-02Added a commentspwhitton
2019-06-02Added a commentspwhitton
2019-05-30(no commit message)david
2019-05-29(no commit message)david
2019-05-29New post about merging upstream changes.s@aa9ff9ce06b08acfd2a93ebd342ce6879430fbdd
2019-05-18post TODOspwhitton
2019-05-13propellor spinJoey Hess
2019-05-13propellor spinJoey Hess
2019-05-04propellor spinJoey Hess
2019-04-26add news item for propellor 5.8.0Joey Hess
2019-04-26releasing package propellor version 5.8.0Joey Hess
2019-04-25propellor spinJoey Hess
2019-04-25propellor spinJoey Hess
2019-04-22clean up after mergeJoey Hess
2019-04-22Merge branch 'joeyconfig'Joey Hess
2019-04-22updateJoey Hess
2019-04-22fix Git.pulled always reporting a changeSean Whitton
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
2019-04-22commenJoey Hess
2019-04-22Merge branch 'master' of ssh://propellor.branchable.comJoey Hess
2019-04-20Added a commentNicolas.Schodet
2019-04-20Added a commentdesired.mta@88576fa3c90538abed47d3f0aa48d00bcc903b23
2019-04-18wordingJoey Hess
To me, "standardly" seemed to imply the property might be included by default, but it is not.
2019-04-18Added a comment: patches submittedspwhitton
2019-04-17propellor spinJoey Hess
2019-04-17propellor spinJoey Hess
2019-04-17propellor spinJoey Hess
2019-04-17propellor spinJoey Hess