Forgotten a fix to catMaybes which was pattern matching against an Either type, not the Maybe type.
commitd282d5679114f2b226470c6a47fdc611e02fd9f3
authorDominic Mulligan <dominic.p.mulligan@googlemail.com>
dateFri 20 Jan 2012, 14:00 (15 years ago)
parent1ea1993
lib/prelude/maybe.idr+2−2
@@ -52,8 +52,8 @@ catMaybes : List (Maybe a) -> List a
5252catMaybes [] = []
5353catMaybes (x::xs) =
5454 case x of
55− Left l => catMaybes xs
56− Right r => r :: catMaybes xs
55+ Nothing => catMaybes xs
56+ Just j => j :: catMaybes xs
5757
5858mapMaybe : (a -> Maybe b) -> List a -> List b
5959mapMaybe f [] = []