Merge pull request #715 from Melvar/master
Remove superfluous function
commit50e9624d0db4b86018bd81a9c4c8427d76720252
authorEdwin Brady <edwin.brady@gmail.com>
dateWed 11 Dec 2013, 13:23 (13 years ago)
parent7cbf0cb3dd83b7
libs/prelude/Prelude/List.idr−4
@@ -464,10 +464,6 @@ sort xs =
464464-- Conversions
465465--------------------------------------------------------------------------------
466466
467−maybeToList : Maybe a -> List a
468−maybeToList Nothing = []
469−maybeToList (Just j) = [j]
470−
471467listToMaybe : List a -> Maybe a
472468listToMaybe [] = Nothing
473469listToMaybe (x::xs) = Just x