Play nice with idempotent tests.

Author: cristianoc

res_syntax/src/res_core.ml

@@ -6404,7 +6404,14 @@ and parseStandaloneAttribute p =
   let startPos = p.startPos in
   Parser.expect AtAt p;
   let attrId = parseAttributeId ~startPos p in
-  if attrId.txt = "uncurried" then p.uncurried_by_default <- true;
+  let attrId =
+    match attrId.txt with
+    | "uncurried" ->
+      p.uncurried_by_default <- true;
+      attrId
+    | "toUncurried" -> {attrId with txt = "uncurried"}
+    | _ -> attrId
+  in
   let payload = parsePayload p in
   (attrId, payload)
 

res_syntax/tests/printer/expr/ToUncurried.res

@@ -0,0 +1,35 @@
+let cApp = foo(3)
+let uApp = foo(. 3)
+
+let cFun = x => 3
+let uFun = (.x) => 3
+let mixFun = (a, .b, c) => (d, e, f) => (g, .h) => 4
+let bracesFun = (. x) => y => x+y
+let cFun2 = (x, y) => 3
+let uFun2 = (. x, y) => 3
+
+type cTyp = string => int
+type uTyp = (. string) => int
+type mixTyp = (string, .string, string) => (string, string, string) => (string, .string) => int
+type bTyp = (. string) => string => int
+type cTyp2 = (string, string) => int
+type uTyp2 = (.string, string) => int
+
+@@toUncurried
+
+let cApp = foo(3)
+let uApp = foo(. 3)
+
+let cFun = x => 3
+let uFun = (.x) => 3
+let mixFun = (a, .b, c) => (d, e, f) => (g, .h) => 4
+let bracesFun = (. x) => y => x+y
+let cFun2 = (x, y) => 3
+let uFun2 = (. x, y) => 3
+
+type cTyp = string => int
+type uTyp = (. string) => int
+type mixTyp = (string, .string, string) => (string, string, string) => (string, .string) => int
+type bTyp = (. string) => string => int
+type cTyp2 = (string, string) => int
+type uTyp2 = (.string, string) => int

res_syntax/tests/printer/expr/expected/ToUncurried.res.txt

@@ -0,0 +1,35 @@
+let cApp = foo(3)
+let uApp = foo(. 3)
+
+let cFun = x => 3
+let uFun = (. x) => 3
+let mixFun = a => (. b, c) => {(d, e, f, g) => (. h) => 4}
+let bracesFun = (. x) => {y => x + y}
+let cFun2 = (x, y) => 3
+let uFun2 = (. x, y) => 3
+
+type cTyp = string => int
+type uTyp = (. string) => int
+type mixTyp = string => (. string, string) => (string, string, string, string) => (. string) => int
+type bTyp = (. string) => string => int
+type cTyp2 = (string, string) => int
+type uTyp2 = (. string, string) => int
+
+@@uncurried
+
+let cApp = foo(. 3)
+let uApp = foo(3)
+
+let cFun = (. x) => 3
+let uFun = x => 3
+let mixFun = (. a) => (b, c) => {(. d, e, f, g) => h => 4}
+let bracesFun = x => {(. y) => x + y}
+let cFun2 = (. x, y) => 3
+let uFun2 = (x, y) => 3
+
+type cTyp = (. string) => int
+type uTyp = string => int
+type mixTyp = (. string) => (string, string) => (. string, string, string, string) => string => int
+type bTyp = string => (. string) => int
+type cTyp2 = (. string, string) => int
+type uTyp2 = (string, string) => int