From 3be3ca427fd48d3484e97c7e1a510a32700d2a8b Mon Sep 17 00:00:00 2001
From: Jeremy Dubreil <jrm@fb.com>
Date: Tue, 6 Feb 2018 10:26:04 -0800
Subject: [PATCH] [infer][cleanup] minor code simplication
Reviewed By: sblackshear
Differential Revision: D6912890
fbshipit-source-id: 386410b
---
infer/src/java/jTransType.ml | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/infer/src/java/jTransType.ml b/infer/src/java/jTransType.ml
index 4b2e2b5df..4a0c0b6eb 100644
--- a/infer/src/java/jTransType.ml
+++ b/infer/src/java/jTransType.ml
@@ -208,11 +208,8 @@ let method_signature_names ms =
| Some vt ->
Some (vt_to_java_type vt)
in
- let rec args_to_signature l =
- match l with [] -> [] | vt :: tail -> vt_to_java_type vt :: args_to_signature tail
- in
let method_name = JBasics.ms_name ms in
- let args_types = args_to_signature (JBasics.ms_args ms) in
+ let args_types = List.map ~f:vt_to_java_type (JBasics.ms_args ms) in
(return_type_name, method_name, args_types)