Sync latest syntax.

Author: cristianoc

CHANGELOG.md

@@ -16,6 +16,7 @@
 
 - Deprecate DOM element attributes in `JsxDOM.domProps`: `begin_`, `end_`, `to_`
   - Use `begin`, `end`, `to` instead.
+- Emit an error when a `@string` or `@int` attribute is used in a V4 component https://github.com/rescript-lang/rescript-compiler/issues/5724
 
 ## :rocket: New Feature
 

jscomp/napkin/CHANGELOG.md

@@ -10,6 +10,10 @@
 > - :house: [Internal]
 > - :nail_care: [Polish]
 
+#### :boom: Breaking Change
+
+- Emit an error when a `@string` or `@int` attribute is used in a V4 component https://github.com/rescript-lang/rescript-compiler/issues/5724
+
 #### :rocket: New Feature
 
 - Add surface syntax for `async`/`await` https://github.com/rescript-lang/syntax/pull/600

lib/4.06.1/unstable/js_compiler.ml

@@ -273588,6 +273588,16 @@ let argToConcreteType types (name, _loc, type_) =
   | name when isOptional name -> (true, getLabel name, [], type_) :: types
   | _ -> types
 
+let check_string_int_attribute_iter =
+  let attribute _ ({txt; loc}, _) =
+    if txt = "string" || txt = "int" then
+      React_jsx_common.raiseError ~loc
+        "@string and @int attributes not supported. See \
+         https://github.com/rescript-lang/rescript-compiler/issues/5724"
+  in
+
+  {Ast_iterator.default_iterator with attribute}
+
 let transformStructureItem ~config mapper item =
   match item with
   (* external *)
@@ -273604,6 +273614,8 @@ let transformStructureItem ~config mapper item =
         React_jsx_common.raiseErrorMultipleReactComponent ~loc:pstr_loc
       else (
         config.hasReactComponent <- true;
+        check_string_int_attribute_iter.structure_item
+          check_string_int_attribute_iter item;
         let rec getPropTypes types ({ptyp_loc; ptyp_desc} as fullType) =
           match ptyp_desc with
           | Ptyp_arrow (name, type_, ({ptyp_desc = Ptyp_arrow _} as rest))
@@ -274050,6 +274062,8 @@ let transformSignatureItem ~config _mapper item =
       if config.React_jsx_common.hasReactComponent then
         React_jsx_common.raiseErrorMultipleReactComponent ~loc:psig_loc
       else config.hasReactComponent <- true;
+      check_string_int_attribute_iter.signature_item
+        check_string_int_attribute_iter item;
       let hasForwardRef = ref false in
       let rec getPropTypes types ({ptyp_loc; ptyp_desc} as fullType) =
         match ptyp_desc with

lib/4.06.1/unstable/js_playground_compiler.ml

@@ -275051,6 +275051,16 @@ let argToConcreteType types (name, _loc, type_) =
   | name when isOptional name -> (true, getLabel name, [], type_) :: types
   | _ -> types
 
+let check_string_int_attribute_iter =
+  let attribute _ ({txt; loc}, _) =
+    if txt = "string" || txt = "int" then
+      React_jsx_common.raiseError ~loc
+        "@string and @int attributes not supported. See \
+         https://github.com/rescript-lang/rescript-compiler/issues/5724"
+  in
+
+  {Ast_iterator.default_iterator with attribute}
+
 let transformStructureItem ~config mapper item =
   match item with
   (* external *)
@@ -275067,6 +275077,8 @@ let transformStructureItem ~config mapper item =
         React_jsx_common.raiseErrorMultipleReactComponent ~loc:pstr_loc
       else (
         config.hasReactComponent <- true;
+        check_string_int_attribute_iter.structure_item
+          check_string_int_attribute_iter item;
         let rec getPropTypes types ({ptyp_loc; ptyp_desc} as fullType) =
           match ptyp_desc with
           | Ptyp_arrow (name, type_, ({ptyp_desc = Ptyp_arrow _} as rest))
@@ -275513,6 +275525,8 @@ let transformSignatureItem ~config _mapper item =
       if config.React_jsx_common.hasReactComponent then
         React_jsx_common.raiseErrorMultipleReactComponent ~loc:psig_loc
       else config.hasReactComponent <- true;
+      check_string_int_attribute_iter.signature_item
+        check_string_int_attribute_iter item;
       let hasForwardRef = ref false in
       let rec getPropTypes types ({ptyp_loc; ptyp_desc} as fullType) =
         match ptyp_desc with

lib/4.06.1/whole_compiler.ml

@@ -285430,6 +285430,16 @@ let argToConcreteType types (name, _loc, type_) =
   | name when isOptional name -> (true, getLabel name, [], type_) :: types
   | _ -> types
 
+let check_string_int_attribute_iter =
+  let attribute _ ({txt; loc}, _) =
+    if txt = "string" || txt = "int" then
+      React_jsx_common.raiseError ~loc
+        "@string and @int attributes not supported. See \
+         https://github.com/rescript-lang/rescript-compiler/issues/5724"
+  in
+
+  {Ast_iterator.default_iterator with attribute}
+
 let transformStructureItem ~config mapper item =
   match item with
   (* external *)
@@ -285446,6 +285456,8 @@ let transformStructureItem ~config mapper item =
         React_jsx_common.raiseErrorMultipleReactComponent ~loc:pstr_loc
       else (
         config.hasReactComponent <- true;
+        check_string_int_attribute_iter.structure_item
+          check_string_int_attribute_iter item;
         let rec getPropTypes types ({ptyp_loc; ptyp_desc} as fullType) =
           match ptyp_desc with
           | Ptyp_arrow (name, type_, ({ptyp_desc = Ptyp_arrow _} as rest))
@@ -285892,6 +285904,8 @@ let transformSignatureItem ~config _mapper item =
       if config.React_jsx_common.hasReactComponent then
         React_jsx_common.raiseErrorMultipleReactComponent ~loc:psig_loc
       else config.hasReactComponent <- true;
+      check_string_int_attribute_iter.signature_item
+        check_string_int_attribute_iter item;
       let hasForwardRef = ref false in
       let rec getPropTypes types ({ptyp_loc; ptyp_desc} as fullType) =
         match ptyp_desc with