shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Merge pull request #95 from konsumlamm/isInfixOf

Fix `Data.List.isInfixOf`

--- a/lib/Data/List.hs

+++ b/lib/Data/List.hs

@@ -336,7 +336,7 @@

 isInfixOf = isInfixOfBy (==)

 isInfixOfBy :: forall a . (a -> a -> Bool) -> [a] -> [a] -> Bool

-isInfixOfBy eq cs ds = any (isPrefixOfBy eq cs) (inits ds)

+isInfixOfBy eq cs ds = any (isPrefixOfBy eq cs) (tails ds)

 splitAt :: forall a . Int -> [a] -> ([a], [a])

 splitAt n xs = (take n xs, drop n xs)

--- a/tests/ListTest.hs

+++ b/tests/ListTest.hs

@@ -1,9 +1,11 @@

 module ListTest(module ListTest) where

-import Prelude

+import Data.List

+

 main :: IO ()

 main = do

-  putStrLn $ show $ sum [1,2,3::Int]

-  putStrLn $ show $ product [1,2,3,4::Int]

-  putStrLn $ show $ and [True]

-  putStrLn $ show $ and [True, False]

+  print $ sum [1, 2, 3 :: Int]

+  print $ product [1, 2, 3, 4 :: Int]

+  print $ and [True]

+  print $ and [True, False]

+  print $ [2] `isInfixOf` [1, 2, 3 :: Int]

--- a/tests/ListTest.ref

+++ b/tests/ListTest.ref

@@ -2,3 +2,4 @@

 24

 True

 False

+True