Merge pull request #1220 from canndrew/master
Fix List.split
commit9274248d59e9b96ccdb5ebdaaa348d8b2b0441ee
authorEdwin Brady <edwin.brady@gmail.com>
dateMon 12 May 2014, 11:20 (12 years ago)
parent50f63b570b6f8f
libs/prelude/Prelude/List.idr−1
@@ -532,7 +532,6 @@ break : (a -> Bool) -> List a -> (List a, List a)
532532break p = span (not . p)
533533
534534split : (a -> Bool) -> List a -> List (List a)
535−split p [] = []
536535split p xs =
537536 case break p xs of
538537 (chunk, []) => [chunk]