summaryrefslogtreecommitdiff
path: root/src/Propellor/Types.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Propellor/Types.hs')
-rw-r--r--src/Propellor/Types.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Propellor/Types.hs b/src/Propellor/Types.hs
index 026babf0..0a3dd122 100644
--- a/src/Propellor/Types.hs
+++ b/src/Propellor/Types.hs
@@ -225,12 +225,12 @@ type family TightenTargetsAllowed untightened tightened where
&& NonTargets untightened `IsSubset` NonTargets tightened)
'True
(IfStuck (Targets tightened)
- (TypeError
+ (DelayError
('Text "Unable to infer desired Property type in this use of tightenTargets."
':$$: ('Text "Consider adding a type annotation.")
)
)
- (TypeError
+ (DelayErrorFcf
('Text "This use of tightenTargets would widen, not narrow, adding: "
':$$: PrettyPrintMetaTypes (Difference (Targets tightened) (Targets untightened))
)