From 77f396d844c0e8bcd0ea3f9c88f89aa54514317f Mon Sep 17 00:00:00 2001 From: Don Stewart Date: Fri, 7 Mar 2008 19:16:57 +0100 Subject: more general properties for view, greedyView darcs-hash:20080307181657-cba2c-cbce57144f581da1aa34ef78dcadba41f7207a5d --- tests/Properties.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tests') diff --git a/tests/Properties.hs b/tests/Properties.hs index 23d6c8b..f8f0684 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -136,10 +136,10 @@ prop_empty_I (n :: Positive Int) l = forAll (choose (1,fromIntegral n)) $ \m - invariant $ new l [0..fromIntegral n-1] ms prop_view_I (n :: NonNegative Int) (x :: T) = - n `tagMember` x ==> invariant $ view (fromIntegral n) x + invariant $ view (fromIntegral n) x prop_greedyView_I (n :: NonNegative Int) (x :: T) = - n `tagMember` x ==> invariant $ greedyView (fromIntegral n) x + invariant $ greedyView (fromIntegral n) x prop_focusUp_I (n :: NonNegative Int) (x :: T) = invariant $ foldr (const focusUp) x [1..n] -- cgit v1.2.3