@@ -8,7 +8,7 @@ import qualified Streamly.Internal.Data.Fold as FL
88
99import Test.Hspec(hspec, describe)
1010import Test.Hspec.QuickCheck
11−import Test.QuickCheck (forAll, chooseInt, Property, property, listOf, vectorOf, counterexample, (.&&.))
11+import Test.QuickCheck (forAll, choose, Property, property, listOf, vectorOf, counterexample, (.&&.), Gen)
1212
1313import Test.QuickCheck.Monadic (monadicIO, PropertyM, assert, monitor)
1414import Control.Monad.IO.Class (MonadIO(..))
@@ -48,6 +48,9 @@ listEquals eq parsed_list list = do
4848checkListEqual :: (Show a, Eq a) => [a] -> [a] -> Property
4949checkListEqual ls_1 ls_2 = monadicIO (listEquals (==) ls_1 ls_2)
5050
51+chooseInt :: (Int, Int) -> Gen Int
52+chooseInt = choose
53+
5154-- Accumulator Tests
5255
5356fromFold :: Property
@@ -434,7 +437,7 @@ main = hspec $ do
434437 prop "P.takeGE n ls = ls when len >= n" takeGEPass
435438 prop "P.takeGE n ls = ls when len >= n and fail otherwise" Main.takeGE
436439 prop "lookAhead . take n >> lookAhead . take n = lookAhead . take n" lookAheadPass
437− prop "exceed the length of stream" lookAheadFail
440+ prop "Fail when stream length exceeded" lookAheadFail
438441 prop "lookAhead . take n >> lookAhead . take n = lookAhead . take n, else fail" lookAhead
439442 prop "P.takeWhile = Prelude.takeWhile" Main.takeWhile
440443 prop "P.takeWhile = Prelude.takeWhile if taken something, else check why failed" takeWhile1