snapshot

Author: cristianoc

lib/4.06.1/unstable/js_compiler.ml

@@ -49698,6 +49698,8 @@ let funExpr expr =
     } ->
       let parameter = Parameter {attrs = []; lbl; defaultExpr; pat = pattern} in
       collect attrsBefore (parameter :: acc) returnExpr
+    (* If a fun has an attribute, then it stops here and makes currying.
+       i.e attributes outside of (...), uncurried `(.)` and `async` make currying *)
     | {pexp_desc = Pexp_fun _} -> (attrsBefore, List.rev acc, expr)
     | expr -> (attrsBefore, List.rev acc, expr)
   in

lib/4.06.1/unstable/js_playground_compiler.ml

@@ -49698,6 +49698,8 @@ let funExpr expr =
     } ->
       let parameter = Parameter {attrs = []; lbl; defaultExpr; pat = pattern} in
       collect attrsBefore (parameter :: acc) returnExpr
+    (* If a fun has an attribute, then it stops here and makes currying.
+       i.e attributes outside of (...), uncurried `(.)` and `async` make currying *)
     | {pexp_desc = Pexp_fun _} -> (attrsBefore, List.rev acc, expr)
     | expr -> (attrsBefore, List.rev acc, expr)
   in
@@ -284814,7 +284816,7 @@ and parseParameter p =
               Ast_helper.Pat.constraint_ ~attrs:(propLocAttr :: attrs) ~loc pat
                 typ
             in
-            (attrs, Asttypes.Labelled lblName, pat)
+            ([], Asttypes.Labelled lblName, pat)
           | As ->
             Parser.next p;
             let pat =
@@ -284830,7 +284832,8 @@ and parseParameter p =
             let loc = mkLoc startPos p.prevEndPos in
             ( [],
               Asttypes.Labelled lblName,
-              Ast_helper.Pat.var ~loc (Location.mkloc lblName loc) ))
+              Ast_helper.Pat.var ~attrs:(propLocAttr :: attrs) ~loc
+                (Location.mkloc lblName loc) ))
         | _ ->
           let pattern = parseConstrainedPattern p in
           let attrs = List.concat [pattern.ppat_attributes; attrs] in

lib/4.06.1/whole_compiler.ml

@@ -225560,6 +225560,8 @@ let funExpr expr =
     } ->
       let parameter = Parameter {attrs = []; lbl; defaultExpr; pat = pattern} in
       collect attrsBefore (parameter :: acc) returnExpr
+    (* If a fun has an attribute, then it stops here and makes currying.
+       i.e attributes outside of (...), uncurried `(.)` and `async` make currying *)
     | {pexp_desc = Pexp_fun _} -> (attrsBefore, List.rev acc, expr)
     | expr -> (attrsBefore, List.rev acc, expr)
   in
@@ -298246,7 +298248,7 @@ and parseParameter p =
               Ast_helper.Pat.constraint_ ~attrs:(propLocAttr :: attrs) ~loc pat
                 typ
             in
-            (attrs, Asttypes.Labelled lblName, pat)
+            ([], Asttypes.Labelled lblName, pat)
           | As ->
             Parser.next p;
             let pat =
@@ -298262,7 +298264,8 @@ and parseParameter p =
             let loc = mkLoc startPos p.prevEndPos in
             ( [],
               Asttypes.Labelled lblName,
-              Ast_helper.Pat.var ~loc (Location.mkloc lblName loc) ))
+              Ast_helper.Pat.var ~attrs:(propLocAttr :: attrs) ~loc
+                (Location.mkloc lblName loc) ))
         | _ ->
           let pattern = parseConstrainedPattern p in
           let attrs = List.concat [pattern.ppat_attributes; attrs] in