Mercurial > urweb

diff src/list_util.sml @ 275:73456bfde988

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Validating schema of a live database
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 14:40:57 -0400
parents aa54250f58ac
children e0ed0d4dabc9
line wrap: on
line diff
--- a/src/list_util.sml	Tue Sep 02 13:44:54 2008 -0400
+++ b/src/list_util.sml	Tue Sep 02 14:40:57 2008 -0400
@@ -156,4 +156,11 @@
         m 0
     end
 
+fun foldri f i ls =
+    let
+        val len = length ls
+    in
+        foldli (fn (n, x, s) => f (len - n - 1, x, s)) i (rev ls)
+    end
+
 end