From e5e7316e5f7a807155b003c1e55aa94c7f8e9588 Mon Sep 17 00:00:00 2001 From: Don Stewart Date: Fri, 9 Mar 2007 05:36:38 +0100 Subject: simpler type (no need to cache size, we *could* grow new stacks on demand now) darcs-hash:20070309043638-9c5c1-d943771821d71f87bae133c90d0d3f3a615f4010 --- tests/Properties.hs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'tests') diff --git a/tests/Properties.hs b/tests/Properties.hs index 5185314..ab4d952 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -43,15 +43,13 @@ prop_viewview r x = let n = current x sz = size x i = r `mod` sz - in - view n (view i x) == x + in view n (view i x) == x where _ = x :: StackSet Int prop_shiftshift r x = let n = current x - in - shift n (shift r x) == x + in shift n (shift r x) == x where _ = x :: StackSet Int ------------------------------------------------------------------------ -- cgit v1.2.3