[feature] fix #406 for better error message

jscomp/ppx_entry.ml

@@ -309,10 +309,6 @@ let find_uncurry_attrs_and_remove (attrs : Parsetree.attributes ) =
     | _ -> false ) attrs 
 
 
-let uncurry_attr loc  : Parsetree.attribute = 
-  {txt = "uncurry"; loc}, PStr []
-
-
 let uncurry_fn_type loc ty ptyp_attributes
     (args : Parsetree.core_type ) body  : Parsetree.core_type = 
   let open Parsetree in 
@@ -677,7 +673,12 @@ let rec unsafe_mapper : Ast_mapper.mapper =
                                         body)},
                            _)}])
           -> 
-          handle_uncurry_generation loc pat body e mapper
+          begin match body.pexp_desc with 
+          | Pexp_fun _ -> 
+            Location.raise_errorf ~loc 
+              "`fun %%uncurry (param0, param1) -> ` instead of `fun %%uncurry param0 param1 ->` "
+          | _ -> handle_uncurry_generation loc pat body e mapper
+          end
         | Pexp_apply ({pexp_desc = Pexp_ident {txt = Lident "#@"; loc}},
                       [("", fn);
                        ("", pat)])

jscomp/test/.depend

@@ -55,6 +55,8 @@ array_test.cmj : ../stdlib/pervasives.cmi mt.cmi ../stdlib/list.cmi \
     ../stdlib/array.cmi array_test.cmi
 array_test.cmx : ../stdlib/pervasives.cmx mt.cmx ../stdlib/list.cmx \
     ../stdlib/array.cmx array_test.cmi
+attr_test.cmj :
+attr_test.cmx :
 b.cmj :
 b.cmx :
 basic_module_test.cmj : ../stdlib/set.cmi pr6726.cmj offset.cmj \
@@ -705,6 +707,8 @@ array_test.cmo : ../stdlib/pervasives.cmi mt.cmi ../stdlib/list.cmi \
     ../stdlib/array.cmi array_test.cmi
 array_test.cmj : ../stdlib/pervasives.cmj mt.cmj ../stdlib/list.cmj \
     ../stdlib/array.cmj array_test.cmi
+attr_test.cmo :
+attr_test.cmj :
 b.cmo :
 b.cmj :
 basic_module_test.cmo : ../stdlib/set.cmi pr6726.cmo offset.cmo \

jscomp/test/a.ml

@@ -22,5 +22,5 @@ module U = Make(Test_order)
 include N
 (* let v = "xhg" *)
 (* let () = v.[0] <- 'a' *)
-
+(* let u = fun %uncurry x y -> x + y *)
 end : sig end)

jscomp/test/attr_test.ml

@@ -0,0 +1,87 @@
+
+let u = fun [@uncurry] (x,y) -> x + y 
+
+let h = u (1,2) [@uncurry] 
+
+type u = < v : int ; y : int > [@uncurry]
+
+type number = float
+
+class type date = 
+  object [@uncurry]
+    method toDateString : unit -> string 
+    method toTimeString : unit -> string 
+    method toLocaleString : unit -> string 
+    method toLocaleDateString : unit -> string 
+    method toLocaleTimeString : unit -> string 
+    method valueOf : unit -> number 
+    method getTime : unit ->  number 
+    method getFullYear : unit ->  number 
+    method getUTCFullYear : unit ->  number 
+    method getMonth : unit -> number 
+    method getUTCMonth : unit -> number
+    method getDate : unit -> number 
+    method getUTCDate : unit -> number 
+    method getDay : unit -> number 
+    method getUTCDay : unit -> number 
+    method getHours :  unit -> number 
+    method getUTCHours :  unit -> number 
+    method getMinutes :    unit -> number 
+    method getUTCMinutes :  unit -> number 
+    method getSeconds :  unit -> number 
+    method getUTCSeconds :  unit -> number 
+    method getMilliseconds : unit -> number 
+    method getUTCMilliseconds : unit -> number 
+    method getTimezoneOffset : unit -> number 
+    method setTime  : number ->  number 
+
+    method setMilliseconds : number ->  number 
+    method setUTCMilliseconds : number ->  number 
+
+    method setSeconds : number -> number
+    method setSeconds__2 :  number * number ->  number
+
+    method setUTCSeconds : number -> number
+    method setUTCSeconds__2 : number * number -> number
+
+    method setMinutes : number -> number
+    method setMinutes__2 : number * number -> number
+    method setMinutes__3 : number * number * number -> number
+
+    method setUTCMinutes : number -> number
+    method setUTCMinutes__2 : number * number -> number
+    method setUTCMinutes__3 : number * number * number -> number
+
+    method setHours : number -> number
+    method setHours__2 : number * number -> number
+    method setHours__3 : number * number * number -> number
+    method setHours__4 : number * number * number * number -> number
+
+    method setUTCHours : number -> number
+    method setUTCHours__2 : number * number -> number
+    method setUTCHours__3 : number * number * number -> number
+    method setUTCHours__4 : number * number * number *  number -> number
+
+
+
+    method setDate :  number ->  number
+    method setUTCDate : number ->  number 
+    method setMonth : number -> number
+    method setMonth__2 : number * number -> number
+    method setUTCMonth : number * number
+    method setUTCMonth__2 : number * number -> number
+
+
+    method setFullYear : number -> number
+    method setFullYear__2 : number *  number -> number
+    method setFullYear__3 : number * number * number -> number
+
+    method setUTCFullYear : number -> number
+    method setUTCFullYear__2 : number * number -> number
+    method setUTCFullYear__3 : number * number *  number -> number
+
+    method toUTCString : unit -> string
+    method toISOString : unit -> string
+    method toJSON__ : unit -> string 
+    method toJSON__1 : 'a -> string
+  end

jscomp/test/test.mllib

@@ -306,4 +306,6 @@ test_index
 
 obj_literal_ppx_test
 obj_literal_ppx
-gpr_405_test
+gpr_405_test
+
+attr_test

lib/js/test/attr_test.js

@@ -0,0 +1,16 @@
+// GENERATED CODE BY BUCKLESCRIPT VERSION 0.5.0 , PLEASE EDIT WITH CARE
+'use strict';
+
+
+function u(param) {
+  return param[0] + param[1] | 0;
+}
+
+var h = u(/* tuple */[
+      1,
+      2
+    ]);
+
+exports.u = u;
+exports.h = h;
+/* h Not a pure module */