Mercurial > urweb

comparison lib/ur/list.ur @ 840:e4a02e4fa35c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix unbound name problem in Jscomp injectors; more List stuff
author Adam Chlipala <adamc@hcoop.net>
date Sat, 06 Jun 2009 15:29:34 -0400
parents b2413e4dd109
children 9f0ea203a1ca
comparison
equal deleted inserted replaced
839:b2413e4dd109 840:e4a02e4fa35c
148 | v => v 148 | v => v
149 in 149 in
150 search' 150 search'
151 end 151 end
152 152
153 fun foldlM [m] (_ : monad m) [a] [b] f =
154 let
155 fun foldlM' acc ls =
156 case ls of
157 [] => return acc
158 | x :: ls =>
159 acc <- f x acc;
160 foldlM' acc ls
161 in
162 foldlM'
163 end