support and in recursive modules

Close #160

Author: aspeddro

grammar.js

@@ -175,7 +175,7 @@ module.exports = grammar({
       $.exception_declaration,
     ),
 
-    module_binding: $ => prec.left(seq(
+    _module_binding: $ => prec.left(seq(
       field('name', choice($.module_identifier, $.type_identifier)),
       optional(seq(
         ':',
@@ -190,14 +190,14 @@ module.exports = grammar({
 
     _module_binding_and: $ => seq(
       'and',
-      $.module_binding
+      $._module_binding
     ),
 
     module_declaration: $ => seq(
       'module',
       optional('rec'),
       optional('type'),
-      $.module_binding,
+      $._module_binding,
     ),
 
     _module_definition: $ => choice(

test/corpus/modules.txt

@@ -287,14 +287,33 @@ module rec BYOBReader: {
   include Reader
 } = BYOBReader
 
+module rec A: T = {
+  let x = B.x
+}
+and B: T = {
+  let x = 1
+}
+
 ---
 
 (source_file
   (module_declaration
     (module_identifier)
     (block
       (include_statement (module_identifier)))
-    (module_identifier)))
+    (module_identifier))
+
+  (module_declaration
+    (module_identifier) (module_identifier)
+    (block
+      (let_binding
+        (value_identifier)
+        (value_identifier_path
+          (module_identifier) (value_identifier))))
+    (module_identifier) (module_identifier)
+    (block
+      (let_binding
+        (value_identifier) (number)))))
 
 ===========================================
 Definition through extension