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 |