Some cleanup in 'List.mapi'

Author: ssoelvsten

lib/List.trp

@@ -72,9 +72,9 @@ let (* -- List Access -- *)
     (** Same as `List.map` but `f` is applied to the index of the element as first argument
         (counting from 0), and the element itself as second argument. Not tail-recursive. *)
     fun mapi f list =
-        let fun mapj j []    = []
-              | mapj j x::xs = (f (j,x)) :: (mapj (j+1) xs)
-        in mapj 0 list
+        let fun mapi_aux j []    = []
+              | mapi_aux j x::xs = (f (j,x)) :: (mapi_aux (j+1) xs)
+        in mapi_aux 0 list
         end
 
     (* TODO: revMap *)