From 4d4d6e4aea6565fa167296d16f94f4b768d5414e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 6 Jun 2009 14:09:30 -0400
Subject: List library additions; fix another substructure unification bug

---
 src/list_util.sml | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'src/list_util.sml')

diff --git a/src/list_util.sml b/src/list_util.sml
index a2b6aeb2..bafac51b 100644
--- a/src/list_util.sml
+++ b/src/list_util.sml
@@ -136,6 +136,19 @@ fun search f =
         s
     end
 
+fun searchi f =
+    let
+        fun s n ls =
+            case ls of
+                [] => NONE
+              | h :: t =>
+                case f (n, h) of
+                    NONE => s (n + 1) t
+                  | v => v
+    in
+        s 0
+    end
+
 fun mapi f =
     let
         fun m i acc ls =
-- 
cgit v1.2.3