Mercurial > urweb
comparison src/list_util.sml @ 275:73456bfde988
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 |