diff --git a/CHANGELOG.md b/CHANGELOG.md
index 7ad54874..45559953 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -65,6 +65,7 @@
 - Fix formatting of `switch` expressions that contain braced `cases` inside https://github.com/rescript-lang/syntax/pull/735
 - Fix formatting of props spread for multiline JSX expression https://github.com/rescript-lang/syntax/pull/736
 - Fix issue with JSX V4 and newtype https://github.com/rescript-lang/syntax/pull/737
+- Fix issue with JSX V4 when components are nested https://github.com/rescript-lang/syntax/pull/738
 
 #### :eyeglasses: Spec Compliance
 
diff --git a/cli/reactjs_jsx_ppx.ml b/cli/reactjs_jsx_ppx.ml
index 5c2a9597..6329dfa0 100644
--- a/cli/reactjs_jsx_ppx.ml
+++ b/cli/reactjs_jsx_ppx.ml
@@ -127,8 +127,8 @@ let getMapper ~config =
           | Pstr_attribute attr -> processConfigAttribute attr config
           | _ -> ());
           let item = default_mapper.structure_item mapper item in
-          if config.version = 3 then transformStructureItem3 mapper item
-          else if config.version = 4 then transformStructureItem4 mapper item
+          if config.version = 3 then transformStructureItem3 item
+          else if config.version = 4 then transformStructureItem4 item
           else [item])
         items
       |> List.flatten
diff --git a/cli/reactjs_jsx_v3.ml b/cli/reactjs_jsx_v3.ml
index c55970d1..a349e7e4 100644
--- a/cli/reactjs_jsx_v3.ml
+++ b/cli/reactjs_jsx_v3.ml
@@ -446,8 +446,7 @@ let jsxMapper ~config =
       args
   in
 
-  let rec recursivelyTransformNamedArgsForMake mapper expr args newtypes =
-    let expr = mapper.expr mapper expr in
+  let rec recursivelyTransformNamedArgsForMake expr args newtypes =
     match expr.pexp_desc with
     (* TODO: make this show up with a loc. *)
     | Pexp_fun (Labelled "key", _, _, _) | Pexp_fun (Optional "key", _, _, _) ->
@@ -494,7 +493,7 @@ let jsxMapper ~config =
         | _ -> None
       in
 
-      recursivelyTransformNamedArgsForMake mapper expression
+      recursivelyTransformNamedArgsForMake expression
         ((arg, default, pattern, alias, pattern.ppat_loc, type_) :: args)
         newtypes
     | Pexp_fun
@@ -517,10 +516,9 @@ let jsxMapper ~config =
         "React: react.component refs only support plain arguments and type \
          annotations."
     | Pexp_newtype (label, expression) ->
-      recursivelyTransformNamedArgsForMake mapper expression args
-        (label :: newtypes)
+      recursivelyTransformNamedArgsForMake expression args (label :: newtypes)
     | Pexp_constraint (expression, _typ) ->
-      recursivelyTransformNamedArgsForMake mapper expression args newtypes
+      recursivelyTransformNamedArgsForMake expression args newtypes
     | _ -> (args, newtypes, None)
   in
 
@@ -586,7 +584,7 @@ let jsxMapper ~config =
   in
 
   let nestedModules = ref [] in
-  let transformStructureItem mapper item =
+  let transformStructureItem item =
     match item with
     (* external *)
     | {
@@ -825,7 +823,7 @@ let jsxMapper ~config =
           let props = getPropsAttr payload in
           (* do stuff here! *)
           let namedArgList, newtypes, forwardRef =
-            recursivelyTransformNamedArgsForMake mapper
+            recursivelyTransformNamedArgsForMake
               (modifiedBindingOld binding)
               [] []
           in
diff --git a/cli/reactjs_jsx_v4.ml b/cli/reactjs_jsx_v4.ml
index b4a3b932..bf2264b0 100644
--- a/cli/reactjs_jsx_v4.ml
+++ b/cli/reactjs_jsx_v4.ml
@@ -598,9 +598,7 @@ let transformLowercaseCall3 ~config mapper jsxExprLoc callExprLoc attrs
          })
       args
 
-let rec recursivelyTransformNamedArgsForMake mapper expr args newtypes coreType
-    =
-  let expr = mapper.expr mapper expr in
+let rec recursivelyTransformNamedArgsForMake expr args newtypes coreType =
   match expr.pexp_desc with
   (* TODO: make this show up with a loc. *)
   | Pexp_fun (Labelled "key", _, _, _) | Pexp_fun (Optional "key", _, _, _) ->
@@ -647,7 +645,7 @@ let rec recursivelyTransformNamedArgsForMake mapper expr args newtypes coreType
       | _ -> None
     in
 
-    recursivelyTransformNamedArgsForMake mapper expression
+    recursivelyTransformNamedArgsForMake expression
       ((arg, default, pattern, alias, pattern.ppat_loc, type_) :: args)
       newtypes coreType
   | Pexp_fun
@@ -680,10 +678,10 @@ let rec recursivelyTransformNamedArgsForMake mapper expr args newtypes coreType
       "React: react.component refs only support plain arguments and type \
        annotations."
   | Pexp_newtype (label, expression) ->
-    recursivelyTransformNamedArgsForMake mapper expression args
-      (label :: newtypes) coreType
+    recursivelyTransformNamedArgsForMake expression args (label :: newtypes)
+      coreType
   | Pexp_constraint (expression, coreType) ->
-    recursivelyTransformNamedArgsForMake mapper expression args newtypes
+    recursivelyTransformNamedArgsForMake expression args newtypes
       (Some coreType)
   | _ -> (args, newtypes, coreType)
 
@@ -724,7 +722,7 @@ let check_string_int_attribute_iter =
 
   {Ast_iterator.default_iterator with attribute}
 
-let transformStructureItem ~config mapper item =
+let transformStructureItem ~config item =
   match item with
   (* external *)
   | {
@@ -827,6 +825,8 @@ let transformStructureItem ~config mapper item =
               binding with
               pvb_pat = {binding.pvb_pat with ppat_loc = emptyLoc};
               pvb_loc = emptyLoc;
+              pvb_attributes =
+                binding.pvb_attributes |> List.filter otherAttrsPure;
             }
           in
           let fnName = getFnName binding.pvb_pat in
@@ -870,8 +870,7 @@ let transformStructureItem ~config mapper item =
           let modifiedBinding binding =
             let hasApplication = ref false in
             let wrapExpressionWithBinding expressionFn expression =
-              Vb.mk ~loc:bindingLoc
-                ~attrs:(List.filter otherAttrsPure binding.pvb_attributes)
+              Vb.mk ~loc:bindingLoc ~attrs:binding.pvb_attributes
                 (Pat.var ~loc:bindingPatLoc {loc = bindingPatLoc; txt = fnName})
                 (expressionFn expression)
             in
@@ -979,7 +978,7 @@ let transformStructureItem ~config mapper item =
           in
           (* do stuff here! *)
           let namedArgList, newtypes, _typeConstraints =
-            recursivelyTransformNamedArgsForMake mapper
+            recursivelyTransformNamedArgsForMake
               (modifiedBindingOld binding)
               [] [] None
           in
diff --git a/tests/ppx/react/expected/aliasProps.res.txt b/tests/ppx/react/expected/aliasProps.res.txt
index 3857f28f..0e310eab 100644
--- a/tests/ppx/react/expected/aliasProps.res.txt
+++ b/tests/ppx/react/expected/aliasProps.res.txt
@@ -3,7 +3,6 @@
 module C0 = {
   type props<'priority, 'text> = {priority: 'priority, text?: 'text}
 
-  @react.component
   let make = (props: props<_, _>) => {
     let _ = props.priority
     let text = switch props.text {
@@ -23,7 +22,6 @@ module C0 = {
 module C1 = {
   type props<'priority, 'text> = {priority: 'priority, text?: 'text}
 
-  @react.component
   let make = (props: props<_, _>) => {
     let p = props.priority
     let text = switch props.text {
@@ -43,7 +41,6 @@ module C1 = {
 module C2 = {
   type props<'foo> = {foo?: 'foo}
 
-  @react.component
   let make = (props: props<_>) => {
     let bar = switch props.foo {
     | Some(foo) => foo
diff --git a/tests/ppx/react/expected/commentAtTop.res.txt b/tests/ppx/react/expected/commentAtTop.res.txt
index af2649b0..d620f691 100644
--- a/tests/ppx/react/expected/commentAtTop.res.txt
+++ b/tests/ppx/react/expected/commentAtTop.res.txt
@@ -1,6 +1,5 @@
 type props<'msg> = {msg: 'msg} // test React JSX file
 
-@react.component
 let make = ({msg, _}: props<_>) => {
   ReactDOM.jsx("div", {children: ?ReactDOM.someElement({msg->React.string})})
 }
diff --git a/tests/ppx/react/expected/defaultValueProp.res.txt b/tests/ppx/react/expected/defaultValueProp.res.txt
index a72ee93b..705b8e7a 100644
--- a/tests/ppx/react/expected/defaultValueProp.res.txt
+++ b/tests/ppx/react/expected/defaultValueProp.res.txt
@@ -1,6 +1,5 @@
 module C0 = {
   type props<'a, 'b> = {a?: 'a, b?: 'b}
-  @react.component
   let make = (props: props<_, _>) => {
     let a = switch props.a {
     | Some(a) => a
@@ -22,7 +21,6 @@ module C0 = {
 module C1 = {
   type props<'a, 'b> = {a?: 'a, b: 'b}
 
-  @react.component
   let make = (props: props<_, _>) => {
     let a = switch props.a {
     | Some(a) => a
diff --git a/tests/ppx/react/expected/fileLevelConfig.res.txt b/tests/ppx/react/expected/fileLevelConfig.res.txt
index 4927786e..817461d1 100644
--- a/tests/ppx/react/expected/fileLevelConfig.res.txt
+++ b/tests/ppx/react/expected/fileLevelConfig.res.txt
@@ -20,7 +20,6 @@ module V3 = {
 module V4C = {
   type props<'msg> = {msg: 'msg}
 
-  @react.component
   let make = ({msg, _}: props<_>) => {
     ReactDOM.createDOMElementVariadic("div", [{msg->React.string}])
   }
@@ -36,7 +35,6 @@ module V4C = {
 module V4A = {
   type props<'msg> = {msg: 'msg}
 
-  @react.component
   let make = ({msg, _}: props<_>) => {
     ReactDOM.jsx("div", {children: ?ReactDOM.someElement({msg->React.string})})
   }
diff --git a/tests/ppx/react/expected/firstClassModules.res.txt b/tests/ppx/react/expected/firstClassModules.res.txt
index 689760fc..2ce2da26 100644
--- a/tests/ppx/react/expected/firstClassModules.res.txt
+++ b/tests/ppx/react/expected/firstClassModules.res.txt
@@ -64,7 +64,6 @@ module Select = {
     items: 'items,
   }
 
-  @react.component
   let make = (
     type a key,
     {model, selected, onChange, items, _}: props<
diff --git a/tests/ppx/react/expected/forwardRef.res.txt b/tests/ppx/react/expected/forwardRef.res.txt
index a26c2fae..4f2d8f6a 100644
--- a/tests/ppx/react/expected/forwardRef.res.txt
+++ b/tests/ppx/react/expected/forwardRef.res.txt
@@ -75,7 +75,6 @@ module V4C = {
       ref?: 'ref,
     }
 
-    @react.component
     let make = (
       {?className, children, _}: props<_, _, ReactRef.currentDomRef>,
       ref: Js.Nullable.t<ReactRef.currentDomRef>,
@@ -103,7 +102,6 @@ module V4C = {
   }
   type props = {}
 
-  @react.component
   let make = (_: props) => {
     let input = React.useRef(Js.Nullable.null)
 
@@ -134,7 +132,6 @@ module V4A = {
       ref?: 'ref,
     }
 
-    @react.component
     let make = ({?className, children, _}: props<_, _, ReactDOM.Ref.currentDomRef>, ref) =>
       ReactDOM.jsxs(
         "div",
@@ -160,7 +157,6 @@ module V4A = {
   }
   type props = {}
 
-  @react.component
   let make = (_: props) => {
     let input = React.useRef(Js.Nullable.null)
 
diff --git a/tests/ppx/react/expected/interface.res.txt b/tests/ppx/react/expected/interface.res.txt
index 77c60724..166ed2ed 100644
--- a/tests/ppx/react/expected/interface.res.txt
+++ b/tests/ppx/react/expected/interface.res.txt
@@ -1,6 +1,6 @@
 module A = {
   type props<'x> = {x: 'x}
-  @react.component let make = ({x, _}: props<_>) => React.string(x)
+  let make = ({x, _}: props<_>) => React.string(x)
   let make = {
     let \"Interface$A" = (props: props<_>) => make(props)
     \"Interface$A"
@@ -10,7 +10,7 @@ module A = {
 module NoProps = {
   type props = {}
 
-  @react.component let make = (_: props) => ReactDOM.jsx("div", {})
+  let make = (_: props) => ReactDOM.jsx("div", {})
   let make = {
     let \"Interface$NoProps" = props => make(props)
 
diff --git a/tests/ppx/react/expected/interfaceWithRef.res.txt b/tests/ppx/react/expected/interfaceWithRef.res.txt
index 7249ceb5..dbb6acfd 100644
--- a/tests/ppx/react/expected/interfaceWithRef.res.txt
+++ b/tests/ppx/react/expected/interfaceWithRef.res.txt
@@ -1,5 +1,4 @@
 type props<'x, 'ref> = {x: 'x, ref?: 'ref}
-@react.component
 let make = (
   {x, _}: props<string, ReactDOM.Ref.currentDomRef>,
   ref: Js.Nullable.t<ReactDOM.Ref.currentDomRef>,
diff --git a/tests/ppx/react/expected/mangleKeyword.res.txt b/tests/ppx/react/expected/mangleKeyword.res.txt
index f5642f49..5b6ad70b 100644
--- a/tests/ppx/react/expected/mangleKeyword.res.txt
+++ b/tests/ppx/react/expected/mangleKeyword.res.txt
@@ -22,7 +22,6 @@ let c31 = React.createElement(C31.make, C31.makeProps(~_open="x", ()))
 module C4C0 = {
   type props<'T_open, 'T_type> = {@as("open") _open: 'T_open, @as("type") _type: 'T_type}
 
-  @react.component
   let make = ({@as("open") _open, @as("type") _type, _}: props<_, string>) => React.string(_open)
   let make = {
     let \"MangleKeyword$C4C0" = (props: props<_>) => make(props)
@@ -44,7 +43,6 @@ let c4c1 = React.createElement(C4C1.make, {_open: "x", _type: "t"})
 module C4A0 = {
   type props<'T_open, 'T_type> = {@as("open") _open: 'T_open, @as("type") _type: 'T_type}
 
-  @react.component
   let make = ({@as("open") _open, @as("type") _type, _}: props<_, string>) => React.string(_open)
   let make = {
     let \"MangleKeyword$C4A0" = (props: props<_>) => make(props)
diff --git a/tests/ppx/react/expected/nested.res.txt b/tests/ppx/react/expected/nested.res.txt
new file mode 100644
index 00000000..f290915b
--- /dev/null
+++ b/tests/ppx/react/expected/nested.res.txt
@@ -0,0 +1,21 @@
+module Outer = {
+  type props = {}
+  let make = (_: props) => {
+    module Inner = {
+      type props = {}
+
+      let make = (_: props) => ReactDOM.jsx("div", {})
+      let make = {
+        let \"Nested$Outer" = props => make(props)
+
+        \"Nested$Outer"
+      }
+    }
+
+    React.jsx(Inner.make, {})
+  }
+  let make = {
+    let \"Nested$Outer" = props => make(props)
+    \"Nested$Outer"
+  }
+}
diff --git a/tests/ppx/react/expected/newtype.res.txt b/tests/ppx/react/expected/newtype.res.txt
index 178ce71d..b8900c50 100644
--- a/tests/ppx/react/expected/newtype.res.txt
+++ b/tests/ppx/react/expected/newtype.res.txt
@@ -26,7 +26,6 @@ module V3 = {
 module V4C = {
   type props<'a, 'b, 'c> = {a: 'a, b: 'b, c: 'c}
 
-  @react.component
   let make = (type a, {a, b, c, _}: props<a, array<option<[#Foo(a)]>>, 'a>) =>
     ReactDOM.createDOMElementVariadic("div", [])
   let make = {
@@ -41,7 +40,6 @@ module V4C = {
 module V4A = {
   type props<'a, 'b, 'c> = {a: 'a, b: 'b, c: 'c}
 
-  @react.component
   let make = (type a, {a, b, c, _}: props<a, array<option<[#Foo(a)]>>, 'a>) =>
     ReactDOM.jsx("div", {})
   let make = {
@@ -54,7 +52,6 @@ module V4A = {
 module V4A1 = {
   type props<'a, 'b, 'c> = {a: 'a, b: 'b, c: 'c}
 
-  @react.component
   let make = (type x y, {a, b, c, _}: props<x, array<y>, 'a>) => ReactDOM.jsx("div", {})
   let make = {
     let \"Newtype$V4A1" = (props: props<_>) => make(props)
@@ -70,7 +67,6 @@ module type T = {
 module V4A2 = {
   type props<'foo> = {foo: 'foo}
 
-  @react.component
   let make = (type a, {foo, _}: props<module(T with type t = a)>) => {
     module T = unpack(foo)
     ReactDOM.jsx("div", {})
@@ -85,7 +81,6 @@ module V4A2 = {
 module V4A3 = {
   type props<'foo> = {foo: 'foo}
 
-  @react.component
   let make = (type a, {foo, _}: props<_>) => {
     module T = unpack(foo: T with type t = a)
     foo
diff --git a/tests/ppx/react/expected/noPropsWithKey.res.txt b/tests/ppx/react/expected/noPropsWithKey.res.txt
index 3b0e499b..9a1ab4b6 100644
--- a/tests/ppx/react/expected/noPropsWithKey.res.txt
+++ b/tests/ppx/react/expected/noPropsWithKey.res.txt
@@ -3,7 +3,7 @@
 module V4CA = {
   type props = {}
 
-  @react.component let make = (_: props) => ReactDOM.createDOMElementVariadic("div", [])
+  let make = (_: props) => ReactDOM.createDOMElementVariadic("div", [])
   let make = {
     let \"NoPropsWithKey$V4CA" = props => make(props)
 
@@ -21,7 +21,6 @@ module V4CB = {
 module V4C = {
   type props = {}
 
-  @react.component
   let make = (_: props) =>
     ReactDOM.createElement(
       React.fragment,
@@ -42,7 +41,7 @@ module V4C = {
 module V4CA = {
   type props = {}
 
-  @react.component let make = (_: props) => ReactDOM.jsx("div", {})
+  let make = (_: props) => ReactDOM.jsx("div", {})
   let make = {
     let \"NoPropsWithKey$V4CA" = props => make(props)
 
@@ -60,7 +59,6 @@ module V4CB = {
 module V4C = {
   type props = {}
 
-  @react.component
   let make = (_: props) =>
     React.jsxs(
       React.jsxFragment,
diff --git a/tests/ppx/react/expected/optimizeAutomaticMode.res.txt b/tests/ppx/react/expected/optimizeAutomaticMode.res.txt
index 5234e02a..18a5a319 100644
--- a/tests/ppx/react/expected/optimizeAutomaticMode.res.txt
+++ b/tests/ppx/react/expected/optimizeAutomaticMode.res.txt
@@ -6,7 +6,6 @@ module User = {
   let format = user => "Dr." ++ user.lastName
   type props<'doctor> = {doctor: 'doctor}
 
-  @react.component
   let make = ({doctor, _}: props<_>) => {
     ReactDOM.jsx("h1", {id: "h1", children: ?ReactDOM.someElement({React.string(format(doctor))})})
   }
diff --git a/tests/ppx/react/expected/removedKeyProp.res.txt b/tests/ppx/react/expected/removedKeyProp.res.txt
index 83d11e9b..5bc7af10 100644
--- a/tests/ppx/react/expected/removedKeyProp.res.txt
+++ b/tests/ppx/react/expected/removedKeyProp.res.txt
@@ -3,7 +3,7 @@
 module Foo = {
   type props<'x, 'y> = {x: 'x, y: 'y}
 
-  @react.component let make = ({x, y, _}: props<_, _>) => React.string(x ++ y)
+  let make = ({x, y, _}: props<_, _>) => React.string(x ++ y)
   let make = {
     let \"RemovedKeyProp$Foo" = (props: props<_>) => make(props)
 
@@ -14,7 +14,6 @@ module Foo = {
 module HasChildren = {
   type props<'children> = {children: 'children}
 
-  @react.component
   let make = ({children, _}: props<_>) => ReactDOM.createElement(React.fragment, [children])
   let make = {
     let \"RemovedKeyProp$HasChildren" = (props: props<_>) => make(props)
@@ -24,7 +23,6 @@ module HasChildren = {
 }
 type props = {}
 
-@react.component
 let make = (_: props) =>
   ReactDOM.createElement(
     React.fragment,
diff --git a/tests/ppx/react/expected/sharedProps.res.txt b/tests/ppx/react/expected/sharedProps.res.txt
index c6e4bc24..c200b5ba 100644
--- a/tests/ppx/react/expected/sharedProps.res.txt
+++ b/tests/ppx/react/expected/sharedProps.res.txt
@@ -3,7 +3,7 @@
 module V4C1 = {
   type props = sharedProps<string>
 
-  @react.component(: sharedProps<string>) let make = ({x, y, _}: props) => React.string(x ++ y)
+  let make = ({x, y, _}: props) => React.string(x ++ y)
   let make = {
     let \"SharedProps$V4C1" = props => make(props)
 
@@ -14,7 +14,7 @@ module V4C1 = {
 module V4C2 = {
   type props<'a> = sharedProps<'a>
 
-  @react.component(: sharedProps<'a>) let make = ({x, y, _}: props<_>) => React.string(x ++ y)
+  let make = ({x, y, _}: props<_>) => React.string(x ++ y)
   let make = {
     let \"SharedProps$V4C2" = (props: props<_>) => make(props)
 
@@ -25,7 +25,6 @@ module V4C2 = {
 module V4C3 = {
   type props<'a> = sharedProps<string, 'a>
 
-  @react.component(: sharedProps<string, 'a>)
   let make = ({x, y, _}: props<_>) => React.string(x ++ y)
   let make = {
     let \"SharedProps$V4C3" = (props: props<_>) => make(props)
@@ -37,7 +36,7 @@ module V4C3 = {
 module V4C4 = {
   type props = sharedProps
 
-  @react.component(: sharedProps) let make = ({x, y, _}: props) => React.string(x ++ y)
+  let make = ({x, y, _}: props) => React.string(x ++ y)
   let make = {
     let \"SharedProps$V4C4" = props => make(props)
 
@@ -74,7 +73,7 @@ module V4C8 = {
 module V4A1 = {
   type props = sharedProps<string>
 
-  @react.component(: sharedProps<string>) let make = ({x, y, _}: props) => React.string(x ++ y)
+  let make = ({x, y, _}: props) => React.string(x ++ y)
   let make = {
     let \"SharedProps$V4A1" = props => make(props)
 
@@ -85,7 +84,7 @@ module V4A1 = {
 module V4A2 = {
   type props<'a> = sharedProps<'a>
 
-  @react.component(: sharedProps<'a>) let make = ({x, y, _}: props<_>) => React.string(x ++ y)
+  let make = ({x, y, _}: props<_>) => React.string(x ++ y)
   let make = {
     let \"SharedProps$V4A2" = (props: props<_>) => make(props)
 
@@ -96,7 +95,6 @@ module V4A2 = {
 module V4A3 = {
   type props<'a> = sharedProps<string, 'a>
 
-  @react.component(: sharedProps<string, 'a>)
   let make = ({x, y, _}: props<_>) => React.string(x ++ y)
   let make = {
     let \"SharedProps$V4A3" = (props: props<_>) => make(props)
@@ -108,7 +106,7 @@ module V4A3 = {
 module V4A4 = {
   type props = sharedProps
 
-  @react.component(: sharedProps) let make = ({x, y, _}: props) => React.string(x ++ y)
+  let make = ({x, y, _}: props) => React.string(x ++ y)
   let make = {
     let \"SharedProps$V4A4" = props => make(props)
 
diff --git a/tests/ppx/react/expected/topLevel.res.txt b/tests/ppx/react/expected/topLevel.res.txt
index 5268d7e8..36e60aed 100644
--- a/tests/ppx/react/expected/topLevel.res.txt
+++ b/tests/ppx/react/expected/topLevel.res.txt
@@ -24,7 +24,6 @@ module V3 = {
 module V4C = {
   type props<'a, 'b> = {a: 'a, b: 'b}
 
-  @react.component
   let make = ({a, b, _}: props<_, _>) => {
     Js.log("This function should be named 'TopLevel.react'")
     ReactDOM.createDOMElementVariadic("div", [])
@@ -41,7 +40,6 @@ module V4C = {
 module V4A = {
   type props<'a, 'b> = {a: 'a, b: 'b}
 
-  @react.component
   let make = ({a, b, _}: props<_, _>) => {
     Js.log("This function should be named 'TopLevel.react'")
     ReactDOM.jsx("div", {})
diff --git a/tests/ppx/react/expected/typeConstraint.res.txt b/tests/ppx/react/expected/typeConstraint.res.txt
index 1ce2faaf..9cb96353 100644
--- a/tests/ppx/react/expected/typeConstraint.res.txt
+++ b/tests/ppx/react/expected/typeConstraint.res.txt
@@ -19,7 +19,6 @@ module V3 = {
 module V4C = {
   type props<'a, 'b> = {a: 'a, b: 'b}
 
-  @react.component
   let make = (type a, {a, b, _}: props<_, _>) => ReactDOM.createDOMElementVariadic("div", [])
   let make = {
     let \"TypeConstraint$V4C" = (props: props<_>) => make(props)
@@ -33,7 +32,7 @@ module V4C = {
 module V4A = {
   type props<'a, 'b> = {a: 'a, b: 'b}
 
-  @react.component let make = (type a, {a, b, _}: props<_, _>) => ReactDOM.jsx("div", {})
+  let make = (type a, {a, b, _}: props<_, _>) => ReactDOM.jsx("div", {})
   let make = {
     let \"TypeConstraint$V4A" = (props: props<_>) => make(props)
 
diff --git a/tests/ppx/react/expected/uncurriedProps.res.txt b/tests/ppx/react/expected/uncurriedProps.res.txt
index 2d00031d..e0920975 100644
--- a/tests/ppx/react/expected/uncurriedProps.res.txt
+++ b/tests/ppx/react/expected/uncurriedProps.res.txt
@@ -1,7 +1,6 @@
 @@jsxConfig({version: 4})
 type props<'a> = {a?: 'a}
 
-@react.component
 let make = (props: props<(. unit) => unit>) => {
   let a = switch props.a {
   | Some(a) => a
@@ -29,7 +28,6 @@ func(~callback=(. str, a, b) => {
 module Foo = {
   type props<'callback> = {callback?: 'callback}
 
-  @react.component
   let make = (props: props<(. string, bool, bool) => unit>) => {
     let callback = switch props.callback {
     | Some(callback) => callback
@@ -50,7 +48,7 @@ module Foo = {
 module Bar = {
   type props = {}
 
-  @react.component let make = (_: props) => React.jsx(Foo.make, {callback: (. _, _, _) => ()})
+  let make = (_: props) => React.jsx(Foo.make, {callback: (. _, _, _) => ()})
   let make = {
     let \"UncurriedProps$Bar" = props => make(props)
 
diff --git a/tests/ppx/react/expected/v4.res.txt b/tests/ppx/react/expected/v4.res.txt
index 7412b812..0549e38b 100644
--- a/tests/ppx/react/expected/v4.res.txt
+++ b/tests/ppx/react/expected/v4.res.txt
@@ -1,5 +1,5 @@
 type props<'x, 'y> = {x: 'x, y: 'y} // Component with type constraint
-@react.component let make = ({x, y, _}: props<string, string>) => React.string(x ++ y)
+let make = ({x, y, _}: props<string, string>) => React.string(x ++ y)
 let make = {
   let \"V4" = (props: props<_>) => make(props)
   \"V4"
@@ -9,7 +9,7 @@ module AnotherName = {
   type // Component with another name than "make"
   props<'x> = {x: 'x}
 
-  @react.component let anotherName = ({x, _}: props<_>) => React.string(x)
+  let anotherName = ({x, _}: props<_>) => React.string(x)
   let anotherName = {
     let \"V4$AnotherName$anotherName" = (props: props<_>) => anotherName(props)
 
diff --git a/tests/ppx/react/nested.res b/tests/ppx/react/nested.res
new file mode 100644
index 00000000..c7382d0e
--- /dev/null
+++ b/tests/ppx/react/nested.res
@@ -0,0 +1,11 @@
+module Outer = {
+  @react.component
+  let make = () => {
+    module Inner = {
+      @react.component
+      let make = () => <div />
+    }
+
+    <Inner />
+  }
+}
\ No newline at end of file