From 8dfae9858f6fce6791e8111cb5ad72162eff7177 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Tue, 2 Jul 2019 11:05:50 -0400 Subject: 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) --- src/Propellor/EnsureProperty.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Propellor/EnsureProperty.hs') 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)) ) -- cgit v1.2.3