Uniform parenthesized syntax for abstraction and application

_tags

@@ -1,4 +1,4 @@
-true: warn(@5@8@10@11@12@14@23-24@26@29@40), bin_annot, safe_string, debug
+true: warn(@5@8@10@11@12@14@23-24@26@29@40), bin_annot, safe_string, debug, thread
 
 <editorSupport/**>: -traverse
 <node_modules/**>: -traverse

formatTest/printerTests/input/moduletest.re

@@ -1,10 +1,10 @@
 module TestModule = {
   type twostrings = (string, string);
-  let mkPair s => {
+  let mkPair(s) {
     (s, s);
   }
 };
 
-let twoStrings = TestModule.mkPair "hello";
+let twoStrings = TestModule.mkPair("hello");
 let () =
-print_endline (TestModule.show_twostrings twoStrings);
+print_endline(TestModule.show_twostrings(twoStrings));

formatTest/printerTests/input/rectypetest.re

@@ -1,6 +1,6 @@
-type mytype = Int of hello | Float of (list int) | String
+type mytype = Int(hello) | Float(list(int)) | String
 and hello = string;
 
 let () =
-  print_endline (show_mytype (Int "five"));
-  print_endline (show_hello "aloha");
+  print_endline(show_mytype(Int("five")));
+  print_endline(show_hello("aloha"));

formatTest/printerTests/input/typetest.re

@@ -1,4 +1,4 @@
-type mytype = Int of string | Float of (list int) | String;
+type mytype = Int(string) | Float(list(int)) | String;
 
 let () =
-  print_endline (show_mytype (Int "five"));
+  print_endline(show_mytype(Int("five")));

formatTest/typeCheckedTests/expected_output/arityConversion.re

@@ -1,49 +1,49 @@
-Some (1, 2, 3);
+Some((1, 2, 3));
 
 type bcd =
-  | TupleConstructor (int, int)
-  | MultiArgumentsConstructor int int;
+  | TupleConstructor((int, int))
+  | MultiArgumentsConstructor(int, int);
 
-let a = TupleConstructor (1, 2);
+let a = TupleConstructor((1, 2));
 
 let b =
-  MultiArgumentsConstructor 1 2
-  [@implicit_arity];
+  [@implicit_arity]
+  MultiArgumentsConstructor(1, 2);
 
 module Test = {
   type a =
-    | And (int, int)
-    | Or (int, int);
+    | And((int, int))
+    | Or((int, int));
 };
 
-let _ = Test.And (1, 2);
+let _ = Test.And((1, 2));
 
-let _ = Test.Or (1, 2);
+let _ = Test.Or((1, 2));
 
-let _ = Some 1;
+let _ = Some(1);
 
 module M = {
   type t =
-    | TupleConstructorInModule (int, int);
+    | TupleConstructorInModule((int, int));
   type t2 =
-    | TupleConstructor2 (int, int);
+    | TupleConstructor2((int, int));
   type t3 =
-    | TupleConstructor3 (int, int);
+    | TupleConstructor3((int, int));
 };
 
 type t2 =
-  | TupleConstructor2 (int, int);
+  | TupleConstructor2((int, int));
 
 type t3 =
-  | TupleConstructor3 (int, int);
+  | TupleConstructor3((int, int));
 
-let _ = M.TupleConstructorInModule (1, 2);
+let _ = M.TupleConstructorInModule((1, 2));
 
-let _ = M.TupleConstructor2 (1, 2);
+let _ = M.TupleConstructor2((1, 2));
 
-let _ = TupleConstructor2 (1, 2);
+let _ = TupleConstructor2((1, 2));
 
 let _ =
-  M.TupleConstructor3 1 2 [@implicit_arity];
+  [@implicit_arity] M.TupleConstructor3(1, 2);
 
-let _ = TupleConstructor3 (1, 2);
+let _ = TupleConstructor3((1, 2));

formatTest/typeCheckedTests/expected_output/arityConversion.re.4.02.3

@@ -7,8 +7,8 @@ type bcd =
 let a = TupleConstructor (1, 2);
 
 let b =
-  MultiArgumentsConstructor 1 2
-  [@implicit_arity];
+  [@implicit_arity]
+  MultiArgumentsConstructor 1 2;
 
 module Test = {
   type a =
@@ -43,6 +43,6 @@ M.TupleConstructor2 (1, 2);
 
 TupleConstructor2 (1, 2);
 
-M.TupleConstructor3 1 2 [@implicit_arity];
+[@implicit_arity] M.TupleConstructor3 1 2;
 
 TupleConstructor3 (1, 2);