[Ocaml-lib-devel] some proposals

[Michal M. <mal...@pl...>]

1) For extList:

val partial_map : ('a -> 'b option) -> 'a list -> 'b list

let rec partial_map f = function
  | x :: xs ->
    begin
      match f x with
      | Some y -> y :: list_partial_map f xs
      | None -> list_partial_map f xs
    end
  | [] -> []

modulo tail-recursion tricks.

2) Int module like:

module Int =
  struct
      type t = int
      let compare x y = x - y
  end

To be used as input for Map.Make/Set.Make.

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith : GCS {C,UL}++++$ a? !tv
: PLD Linux ::::::::: Wroclaw University, CS Dept : {E-,w}-- {b++,e}>+++ h