From 5cfb20668421acb3c0de133afe973fc693b8b320 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sat, 5 Dec 2015 18:03:02 -0400 Subject: remove trivial --- src/Propellor/Types/ResultCheck.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Propellor/Types/ResultCheck.hs') diff --git a/src/Propellor/Types/ResultCheck.hs b/src/Propellor/Types/ResultCheck.hs index 590d4ab9..0c7597a2 100644 --- a/src/Propellor/Types/ResultCheck.hs +++ b/src/Propellor/Types/ResultCheck.hs @@ -60,7 +60,7 @@ instance Checkable UncheckedProperty i where -- -- However, beware assuming `NoChange`, as that will make combinators -- like `onChange` not work. -assume :: UncheckedProperty i -> Result -> Property i -assume (UncheckedProperty p) result = adjustPropertySatisfy (checkedProp p) $ \satisfy -> do +assume :: Checkable p i => p i -> Result -> Property i +assume p result = adjustPropertySatisfy (checkedProp p) $ \satisfy -> do r <- satisfy return (r <> result) -- cgit v1.2.3