git.iko.soy/Idris-dev
on master help sign in
Forgotten a fix to catMaybes which was pattern matching against an Either type, not the Maybe type.
d282d56Dominic Mulligan
lib/prelude/maybe.idr+2−2
compare with master
unifiedsplit
@@ -52,8 +52,8 @@ catMaybes : List (Maybe a) -> List a
52catMaybes [] = []
52catMaybes [] = []
53catMaybes (x::xs) =
53catMaybes (x::xs) =
54 case x of
54 case x of
55− Left l => catMaybes xs
55+ Nothing => catMaybes xs
56− Right r => r :: catMaybes xs
56+ Just j => j :: catMaybes xs
57
57
58mapMaybe : (a -> Maybe b) -> List a -> List b
58mapMaybe : (a -> Maybe b) -> List a -> List b
59mapMaybe f [] = []
59mapMaybe f [] = []