feat: open any module expr

src/reason-parser/reason_parser.mly

@@ -2566,10 +2566,9 @@ seq_expr_no_seq [@recover.expr default_expr ()] (semi):
    | Some (ext_attrs, ext_id) ->
      mkexp ~loc (Pexp_extension (ext_id, PStr [mkstrexp exp ext_attrs]))
   }
-| item_attributes LET? OPEN override_flag as_loc(mod_longident) SEMI seq_expr(SEMI?)
+| item_attributes LET? OPEN override_flag module_expr SEMI seq_expr(SEMI?)
   { let loc = (mklocation $startpos($1) $endpos($4)) in
-    let me = Ast_helper.Mod.ident ~loc $5 in
-    let od = Ast_helper.Opn.mk ~override:$4 ~loc me in
+    let od = Ast_helper.Opn.mk ~override:$4 ~loc $5 in
     let exp = mkexp (Pexp_open(od, $7)) in
     { exp with pexp_attributes = $1 }
   }

src/reason-parser/reason_pprint_ast.ml

@@ -162,7 +162,7 @@ let expression_immediate_extension_sugar x =
   | Some (name, expr) ->
     match expr.pexp_desc with
     | Pexp_for _ | Pexp_while _ | Pexp_ifthenelse _ | Pexp_function _
-    | Pexp_newtype _ | Pexp_try _ | Pexp_match _ (* | Pexp_letmodule _ *) ->
+    | Pexp_newtype _ | Pexp_try _ | Pexp_match _ ->
       (Some name, expr)
     | _ -> (None, x)
 
@@ -6236,8 +6236,9 @@ let printer = object(self:'self)
         | ([], Pexp_letop _) -> false
         | ([], Pexp_sequence _) -> false
         | ([], Pexp_letmodule _) -> false
-        | ([], Pexp_open (me, e)) ->
-          me.popen_override == Fresh && self#isSeriesOfOpensFollowedByNonSequencyExpression e
+        | ([], Pexp_open ({ popen_override; popen_expr = { pmod_desc = Pmod_ident _; _ }; _ }, e)) ->
+          popen_override == Fresh && self#isSeriesOfOpensFollowedByNonSequencyExpression e
+        | ([], Pexp_open _) -> false
         | ([], Pexp_letexception _) -> false
         | ([], Pexp_extension ({txt}, _)) -> txt = "mel.obj"
         | _ -> true

test/modules.t/input.re

@@ -540,3 +540,18 @@ let x = {
 module%foo rec X: Y = {
   let x = 1;
 }
+
+let f = () => {
+  open {
+    let x = 1;
+  };
+  ();
+};
+
+let f = () => {
+  let open {
+    let x = 1;
+  };
+  ();
+};
+

test/modules.t/run.t

@@ -706,4 +706,20 @@ Format modules
   module%foo rec X: Y = {
     let x = 1;
   };
+
+  let f = () => {
+    open {
+      let x = 1;
+    };
+
+    ();
+  };
+
+  let f = () => {
+    open {
+      let x = 1;
+    };
+
+    ();
+  };
 /* From http://stackoverflow.com/questions/1986374/  higher-order-type-constructors-and-functors-in-ocaml */