Mercurial > urweb
comparison lib/ur/list.ur @ 1547:553a5cc3a4b5
Fix another list unurlification segfault bug; List.foldlMi
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 21 Aug 2011 13:41:57 -0400 |
parents | dde3bd82cb3d |
children | f4cb4eebf7ae |
comparison
equal
deleted
inserted
replaced
1546:133c71008bef | 1547:553a5cc3a4b5 |
---|---|
253 foldlM' acc ls | 253 foldlM' acc ls |
254 in | 254 in |
255 foldlM' | 255 foldlM' |
256 end | 256 end |
257 | 257 |
258 fun foldlMi [m] (_ : monad m) [a] [b] f = | |
259 let | |
260 fun foldlMi' i acc ls = | |
261 case ls of | |
262 [] => return acc | |
263 | x :: ls => | |
264 acc <- f i x acc; | |
265 foldlMi' (i + 1) acc ls | |
266 in | |
267 foldlMi' 0 | |
268 end | |
269 | |
258 fun all [m] f = | 270 fun all [m] f = |
259 let | 271 let |
260 fun all' ls = | 272 fun all' ls = |
261 case ls of | 273 case ls of |
262 [] => True | 274 [] => True |