diff 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
line wrap: on
line diff
--- a/tests/listpair.ur	Sun Nov 03 19:27:30 2013 -0500
+++ b/tests/listpair.ur	Mon Nov 04 08:38:20 2013 -0500
@@ -2,5 +2,5 @@
 val y = 3 :: 4 :: []
 
 fun main () : transaction page = return <xml>
-  {[ListPair.map2 plus x y]}
+  {[ListPair.mp plus x y]}
 </xml>