summaryrefslogtreecommitdiff
path: root/src/Propellor/EnsureProperty.hs
diff options
context:
space:
mode:
authorJoey Hess2019-07-02 11:05:50 -0400
committerJoey Hess2019-07-02 11:05:50 -0400
commit8dfae9858f6fce6791e8111cb5ad72162eff7177 (patch)
tree898085e9f69056f40f1d2b362c00a3824a547ccb /src/Propellor/EnsureProperty.hs
parent2ba2cda972f484771b763603bf09d555003861b7 (diff)
use DelayError
Syrak looked at this branch and said: Cool! I'd suggest that if it's working, that's an accident! You probably want IfStuck e (DelayError err1) (DelayErrorFcf err2) rather than IfStuck e (TypeError err1) (TypeError err2)
Diffstat (limited to 'src/Propellor/EnsureProperty.hs')
-rw-r--r--src/Propellor/EnsureProperty.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Propellor/EnsureProperty.hs b/src/Propellor/EnsureProperty.hs
index 5ed0325f..4b70ffb7 100644
--- a/src/Propellor/EnsureProperty.hs
+++ b/src/Propellor/EnsureProperty.hs
@@ -66,12 +66,12 @@ type family EnsurePropertyTargetOSMatches inner outer where
If (Targets outer `IsSubset` Targets inner)
'True
(IfStuck (Targets outer)
- (TypeError
+ (DelayError
('Text "ensureProperty outer Property type is not able to be inferred here."
':$$: 'Text "Consider adding a type annotation."
)
)
- (TypeError
+ (DelayErrorFcf
('Text "ensureProperty inner Property is missing support for: "
':$$: PrettyPrintMetaTypes (Difference (Targets outer) (Targets inner))
)