Adapt to new vector interface
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Thu, 10 Dec 2009 05:32:47 +0000 (05:32 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Thu, 10 Dec 2009 05:32:47 +0000 (05:32 +0000)
tests/Tests/Stream.hs
tests/Tests/Vector.hs

index c5e46a4..34cf1c7 100644 (file)
@@ -86,9 +86,9 @@ testPolymorphicFunctions _ = $(testProperties [
     prop_extract      = \xs ->
                         forAll (choose (0, S.length xs))     $ \i ->
                         forAll (choose (0, S.length xs - i)) $ \n ->
-                        unP prop xs i n
+                        unP prop i n xs
       where
-        prop :: P (S.Stream a -> Int -> Int -> S.Stream a) = S.extract `eq` slice
+        prop :: P (Int -> Int -> S.Stream a -> S.Stream a) = S.slice `eq` slice
 
     prop_tail :: P (S.Stream a -> S.Stream a) = not . S.null ===> S.tail `eq` tail
     prop_init :: P (S.Stream a -> S.Stream a) = not . S.null ===> S.init `eq` init
index 1f382e7..990b689 100644 (file)
@@ -132,9 +132,9 @@ testPolymorphicFunctions _ = $(testProperties [
     prop_slice        = \xs ->
                         forAll (choose (0, V.length xs))     $ \i ->
                         forAll (choose (0, V.length xs - i)) $ \n ->
-                        unP prop xs i n
+                        unP prop i n xs
       where
-        prop :: P (v a -> Int -> Int -> v a) = V.slice `eq` slice
+        prop :: P (Int -> Int -> v a -> v a) = V.slice `eq` slice
 
     prop_tail :: P (v a -> v a) = not . V.null ===> V.tail `eq` tail
     prop_init :: P (v a -> v a) = not . V.null ===> V.init `eq` init