feat: revert/unnest module_identifier_path for simplest cases

Author: nkrkv

grammar.js

@@ -50,6 +50,7 @@ module.exports = grammar({
     ],
     [$._jsx_attribute_value, $.pipe_expression],
     [$.function_type_parameters, $.function_type],
+    [$.module_expression, $.module_identifier_path],
     [$.module_identifier_path, $.module_type_of],
   ],
 
@@ -1240,6 +1241,7 @@ module.exports = grammar({
     ),
 
     module_expression: $ => choice(
+      $.module_identifier,
       $.module_identifier_path,
       $.type_identifier_path,
       $.module_type_of,

test/corpus/expressions.txt

@@ -165,7 +165,7 @@ f(raise)
       arguments: (arguments
         (number)
         (block
-          (open_statement (module_identifier_path (module_identifier)))
+          (open_statement (module_identifier))
           (expression_statement (value_identifier)))
         (labeled_argument
           label: (value_identifier)
@@ -247,7 +247,7 @@ foo->{
     (pipe_expression
       (value_identifier)
       (block
-        (open_statement (module_identifier_path (module_identifier)))
+        (open_statement (module_identifier))
         (expression_statement (value_identifier))))))
 
 ===========================================
@@ -821,7 +821,7 @@ switch { open Mod; foo() } {
   (expression_statement
     (switch_expression
       (block
-        (open_statement (module_identifier_path (module_identifier)))
+        (open_statement (module_identifier))
         (expression_statement
           (call_expression (value_identifier) (arguments))))
       (switch_match

test/corpus/jsx.txt

@@ -209,8 +209,7 @@ Attribute Block
         (jsx_attribute
           (property_identifier)
           (jsx_expression
-            (open_statement
-              (module_identifier_path (module_identifier)))
+            (open_statement (module_identifier))
             (expression_statement
               (record
                 (record_field

test/corpus/let_bindings.txt

@@ -296,9 +296,7 @@ let {baz, _} = module(User.Inner)
     (record_pattern
       (value_identifier)
       (value_identifier))
-    (module_pack
-      (module_identifier_path
-        (module_identifier))))
+    (module_pack (module_identifier)))
   (let_binding
     (record_pattern
       (value_identifier)
@@ -320,7 +318,7 @@ let foo = module(Bar)
 (source_file
   (let_binding
     (value_identifier)
-    (module_pack (module_identifier_path (module_identifier)))))
+    (module_pack (module_identifier))))
 
 ===========================================
 Unpacking module

test/corpus/modules.txt

@@ -8,8 +8,7 @@ open! Foo.Bar
 ---
 
 (source_file
-  (open_statement
-    (module_identifier_path (module_identifier)))
+  (open_statement (module_identifier))
   (open_statement
     (module_identifier_path
       (module_identifier_path
@@ -38,9 +37,7 @@ include module type of {
 ---
 
 (source_file
-  (include_statement
-    (module_identifier_path
-      (module_identifier)))
+  (include_statement (module_identifier))
   (include_statement
     (module_identifier_path
       (module_identifier_path
@@ -52,7 +49,7 @@ include module type of {
         (module_identifier_path
           (module_identifier))
         (module_identifier))
-      (arguments (module_identifier_path (module_identifier)))))
+      (arguments (module_identifier))))
   (include_statement
     (functor_use
       (module_identifier_path
@@ -98,9 +95,7 @@ include module type of {
 
   (include_statement
     (module_type_of
-      (block
-        (include_statement
-          (module_identifier_path (module_identifier)))))))
+      (block (include_statement (module_identifier))))))
 
 ===========================================
 Simple definition
@@ -199,19 +194,19 @@ module(SomeFunctor(unpack(x)))
 
 (source_file
   (expression_statement
-    (module_pack (module_identifier_path (module_identifier))))
+    (module_pack (module_identifier)))
   (expression_statement
     (module_pack
-      (module_identifier_path (module_identifier))
-      (module_type_annotation (module_identifier_path (module_identifier)))))
+      (module_identifier)
+      (module_type_annotation (module_identifier))))
   (expression_statement
     (module_pack
       (block
         (type_declaration (type_identifier))
         (let_binding
           (value_identifier)
           (string (string_fragment))))
-      (module_type_annotation (module_identifier_path (module_identifier)))))
+      (module_type_annotation (module_identifier))))
   (expression_statement
     (module_pack
       (functor_use
@@ -264,7 +259,9 @@ module Make: (Content: StaticContent) => {
     (module_identifier)
     (functor
       (functor_parameters
-        (functor_parameter (module_identifier_path (module_identifier)) (module_type_annotation (module_identifier_path (module_identifier)))))
+        (functor_parameter
+          (module_identifier_path (module_identifier))
+          (module_type_annotation (module_identifier))))
       (block
         (let_binding
           (value_identifier)
@@ -285,8 +282,7 @@ module M = MyFunctor(Foo, Bar.Baz)
     (functor_use
       (module_identifier_path (module_identifier))
       (arguments
-        (module_identifier_path
-          (module_identifier))
+        (module_identifier)
         (module_identifier_path
           (module_identifier_path
             (module_identifier))
@@ -324,9 +320,8 @@ module rec BYOBReader: {
   (module_declaration
     (module_identifier)
     (block
-      (include_statement
-        (module_identifier_path (module_identifier))))
-    (module_identifier_path (module_identifier))))
+      (include_statement (module_identifier)))
+    (module_identifier)))
 
 ===========================================
 Definition through extension
@@ -502,7 +497,7 @@ module M = (Na: N, Nb: N): (
 (source_file
   (expression_statement
     (module_pack
-      (module_identifier_path (module_identifier))
+      (module_identifier)
       (module_type_annotation
         (module_type_constraint
           (module_identifier_path (module_identifier))
@@ -519,7 +514,7 @@ module M = (Na: N, Nb: N): (
       (functor_parameters)
       (module_type_annotation
         (module_type_constraint
-          (module_identifier_path (module_identifier)) 
+          (module_identifier_path (module_identifier))
           (constrain_type
             (type_identifier)
             (type_identifier))))
@@ -531,12 +526,10 @@ module M = (Na: N, Nb: N): (
       (functor_parameters
         (functor_parameter
           (module_identifier_path (module_identifier))
-          (module_type_annotation
-            (module_identifier_path (module_identifier))))
+          (module_type_annotation (module_identifier)))
         (functor_parameter
           (module_identifier_path (module_identifier))
-          (module_type_annotation
-            (module_identifier_path (module_identifier)))))
+          (module_type_annotation (module_identifier))))
       (module_type_annotation
         (module_type_constraint
           (module_identifier_path (module_identifier))

test/corpus/type_declarations.txt

@@ -166,8 +166,7 @@ type t =
       (variant_declaration
         (variant_identifier)
         (variant_parameters
-          (module_pack
-            (module_identifier_path (module_identifier)))))
+          (module_pack (module_identifier))))
       (variant_declaration
         (variant_identifier)
         (variant_parameters