diff options
| author | Don Stewart <dons@cse.unsw.edu.au> | 2007-03-09 05:36:38 +0100 |
|---|---|---|
| committer | Don Stewart <dons@cse.unsw.edu.au> | 2007-03-09 05:36:38 +0100 |
| commit | e5e7316e5f7a807155b003c1e55aa94c7f8e9588 (patch) | |
| tree | c2bda7476a629f47ead767637cc53370e42f9152 /tests | |
| parent | 319f07b8c7d099177adad857f66db3424f3820a1 (diff) | |
| download | metatile-e5e7316e5f7a807155b003c1e55aa94c7f8e9588.tar metatile-e5e7316e5f7a807155b003c1e55aa94c7f8e9588.zip | |
simpler type (no need to cache size, we *could* grow new stacks on demand now)
darcs-hash:20070309043638-9c5c1-d943771821d71f87bae133c90d0d3f3a615f4010
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/Properties.hs | 6 |
1 files changed, 2 insertions, 4 deletions
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 ------------------------------------------------------------------------ |