@@ -532,7 +532,6 @@ break : (a -> Bool) -> List a -> (List a, List a)
532break p = span (not . p)
532break p = span (not . p)
534split : (a -> Bool) -> List a -> List (List a)
534split : (a -> Bool) -> List a -> List (List a)
536split p xs =
535split p xs =
537 case break p xs of
536 case break p xs of
538 (chunk, []) => [chunk]
537 (chunk, []) => [chunk]