Basic evaluation.

[goals.git] / src / utils.ml

diff --git a/src/utils.ml b/src/utils.ml
index c24d4ee..3a360a5 100644 (file)
--- a/src/utils.ml
+++ b/src/utils.ml
@@ -20,3 +20,16 @@
 open Printf
 
 let failwithf fs = ksprintf failwith fs
+
+(* From OCaml 4.08 sources.  We can remove this when we can
+ * depend on min OCaml 4.08.
+ *)
+let filter_map f =
+  let rec aux accu = function
+    | [] -> List.rev accu
+    | x :: l ->
+        match f x with
+        | None -> aux accu l
+        | Some v -> aux (v :: accu) l
+  in
+  aux []