Merge pull request #129 from aspeddro/module-destructuring

support destructuring modules

Author: nkrkv

grammar.js

@@ -474,6 +474,7 @@ module.exports = grammar({
       $.pipe_expression,
       $.subscript_expression,
       $.member_expression,
+      $.module_destructuring_expression,
       $.extension_expression,
     ),
 
@@ -699,6 +700,10 @@ module.exports = grammar({
       ),
     )),
 
+    module_destructuring_expression: $ => seq(
+      'module', '(', choice($.module_identifier, $.module_identifier_path), ')'
+    ),
+
     call_arguments: $ => seq(
       '(',
       optional($.uncurry),

test/corpus/modules.txt

@@ -12,6 +12,32 @@ open! Foo.Bar
   (open_statement
     (module_identifier_path (module_identifier) (module_identifier))))
 
+===========================================
+Module destructuring
+===========================================
+
+
+let {foo, bar} = module(User)
+let {baz, _} = module(User.Inner)
+
+---
+
+(source_file
+  (let_binding
+    (record_pattern
+      (value_identifier)
+      (value_identifier))
+    (module_destructuring_expression (module_identifier)))
+
+  (let_binding
+    (record_pattern
+      (value_identifier)
+      (value_identifier))
+    (module_destructuring_expression
+      (module_identifier_path
+        (module_identifier)
+        (module_identifier)))))
+
 ===========================================
 Include
 ===========================================

test/highlight/modules.res

@@ -10,6 +10,11 @@ include NumericCurve({
   let foo = foo
 })
 
+let {baz, _} = module(User.Inner)
+//             ^ keyword
+//                    ^ namespace
+//                          ^ namespace
+
 module Belt = {
   include (Belt: module type of Belt with module Map := Belt.Map and module Result := Belt.Result)
   // ^ include