From d3b74d23b672068e7f9e375b885292726f754f59 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 4 Nov 2013 08:38:20 -0500
Subject: Rename ListPair.map2 to ListPair.mp

---
 lib/ur/listPair.ur  | 8 ++++----
 lib/ur/listPair.urs | 4 ++--
 2 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'lib/ur')

diff --git a/lib/ur/listPair.ur b/lib/ur/listPair.ur
index d69993f9..94b92872 100644
--- a/lib/ur/listPair.ur
+++ b/lib/ur/listPair.ur
@@ -34,13 +34,13 @@ fun all [a] [b] f =
         all'
     end
 
-fun map2 [a] [b] [c] (f : a -> b -> c) =
+fun mp [a] [b] [c] (f : a -> b -> c) =
     let
-        fun map2' ls1 ls2 =
+        fun map' ls1 ls2 =
             case (ls1, ls2) of
                 ([], []) => []
-              | (x1 :: ls1, x2 :: ls2) => f x1 x2 :: map2' ls1 ls2
+              | (x1 :: ls1, x2 :: ls2) => f x1 x2 :: map' ls1 ls2
               | _ => error <xml>ListPair.map2: Unequal list lengths</xml>
     in
-        map2'
+        map'
     end
diff --git a/lib/ur/listPair.urs b/lib/ur/listPair.urs
index 218b9420..b473e226 100644
--- a/lib/ur/listPair.urs
+++ b/lib/ur/listPair.urs
@@ -6,5 +6,5 @@ val mapX : a ::: Type -> b ::: Type -> ctx ::: {Unit}
 
 val all : a ::: Type -> b ::: Type -> (a -> b -> bool) -> list a -> list b -> bool
 
-val map2 : a ::: Type -> b ::: Type -> c ::: Type
-           -> (a -> b -> c) -> list a -> list b -> list c
+val mp : a ::: Type -> b ::: Type -> c ::: Type
+         -> (a -> b -> c) -> list a -> list b -> list c
-- 
cgit v1.2.3