Mercurial > urweb
comparison tests/listpair.ur @ 1885:8297968cf7ef
Rename ListPair.map2 to ListPair.mp
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 04 Nov 2013 08:38:20 -0500 |
parents | 5c30eea7aa78 |
children |
comparison
equal
deleted
inserted
replaced
1884:5c30eea7aa78 | 1885:8297968cf7ef |
---|---|
1 val x = 1 :: 2 :: [] | 1 val x = 1 :: 2 :: [] |
2 val y = 3 :: 4 :: [] | 2 val y = 3 :: 4 :: [] |
3 | 3 |
4 fun main () : transaction page = return <xml> | 4 fun main () : transaction page = return <xml> |
5 {[ListPair.map2 plus x y]} | 5 {[ListPair.mp plus x y]} |
6 </xml> | 6 </xml> |