Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
274:e4baf03a3a64 275:73456bfde988
154 | h :: t => m (i + 1) (f (i, h, acc)) t 154 | h :: t => m (i + 1) (f (i, h, acc)) t
155 in 155 in
156 m 0 156 m 0
157 end 157 end
158 158
159 fun foldri f i ls =
160 let
161 val len = length ls
162 in
163 foldli (fn (n, x, s) => f (len - n - 1, x, s)) i (rev ls)
164 end
165
159 end 166 end