Oops, sorry. Looks like I am wrong. mapPartial is OK, My fault. 2014-08-24 21:20 GMT+04:00 Sergey Mironov <[email protected]>: > Hi. I've discovered that [List.mapPartial] reverses the list. > Probably, it is not what user wants from function named [map*]. Should > we do the [reverse] before returning the final list to user? > > Regards, > Sergey > > PS the code > > fun mapPartial [a] [b] f = > let > fun mp' acc ls = > case ls of > [] => rev acc > | x :: ls => mp' (case f x of > None => acc > | Some y => y :: acc) ls > in > mp' [] > end
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
