# HG changeset patch
# User Matthias Görgens <matthias.goergens@xxxxxxxxxx>
# Date 1268698896 0
# Node ID 2162dfc5d1123b55848bf9431814d64de8332275
# Parent  dcf424fea38f5a79e042001d6830aa693a02850b
The module stdext/Listext got a safe_head function that wraps hd in an option type.

diff -r dcf424fea38f -r 2162dfc5d112 stdext/listext.ml
--- a/stdext/listext.ml
+++ b/stdext/listext.ml
@@ -192,4 +192,11 @@
 let rec tails = function
     | [] -> [[]]
     | (_::xs) as l -> l :: tails xs
+
+let safe_hd = function
+  | a::_ -> Some a
+  | [] -> None
+
 end
+
+
diff -r dcf424fea38f -r 2162dfc5d112 stdext/listext.mli
--- a/stdext/listext.mli
+++ b/stdext/listext.mli
@@ -176,5 +176,6 @@
     val take : int -> 'a list -> 'a list
 	
     val tails : 'a list -> ('a list) list
+    val safe_hd : 'a list -> 'a option
 
   end