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/Types.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Propellor/Types.hs') 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)) ) -- cgit v1.2.3