Mercurial > urweb
comparison lib/ur/listPair.ur @ 844:74a1e3bdf430
Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 07 Jun 2009 16:45:00 -0400 |
parents | 78504d97410b |
children | 0d30e6338c65 |
comparison
equal
deleted
inserted
replaced
843:9f0ea203a1ca | 844:74a1e3bdf430 |
---|---|
6 | (x1 :: ls1, x2 :: ls2) => <xml>{f x1 x2}{mapX' ls1 ls2}</xml> | 6 | (x1 :: ls1, x2 :: ls2) => <xml>{f x1 x2}{mapX' ls1 ls2}</xml> |
7 | _ => error <xml>ListPair.mapX: Unequal list lengths</xml> | 7 | _ => error <xml>ListPair.mapX: Unequal list lengths</xml> |
8 in | 8 in |
9 mapX' | 9 mapX' |
10 end | 10 end |
11 | |
12 fun all [a] [b] f = | |
13 let | |
14 fun all' ls1 ls2 = | |
15 case (ls1, ls2) of | |
16 ([], []) => True | |
17 | (x1 :: ls1, x2 :: ls2) => f x1 x2 && all' ls1 ls2 | |
18 | _ => False | |
19 in | |
20 all' | |
21 end |