Mercurial > urweb

comparison lib/ur/list.ur @ 796:6271f0e3c272

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix a nasty binding bug in CoreUtil
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 09:11:58 -0400
parents dc3fc3f3b834
children e92cfac1608f
comparison
equal deleted inserted replaced
795:b87e71e45536 796:6271f0e3c272
27 [] => rev acc 27 [] => rev acc
28 | x :: ls => mp' (f x :: acc) ls 28 | x :: ls => mp' (f x :: acc) ls
29 in 29 in
30 mp' [] 30 mp' []
31 end 31 end
32
33 fun mapX (a ::: Type) (ctx ::: {Unit}) f =
34 let
35 fun mapX' ls =
36 case ls of
37 [] => <xml/>
38 | x :: ls => <xml>{f x}{mapX' ls}</xml>
39 in
40 mapX'
41 end