In module declaration treat M = { as if it were M : {

Author: cristianoc

compiler/syntax/src/res_core.ml

@@ -6526,10 +6526,15 @@ and parse_module_declaration_or_alias ~attrs p =
     | Colon ->
       Parser.next p;
       parse_module_type p
-    | Equal ->
+    | Equal -> (
       Parser.next p;
-      let lident = parse_module_long_ident ~lowercase:false p in
-      Ast_helper.Mty.alias lident
+      match p.Parser.token with
+      | Lbrace ->
+        (* Parse `module M = {` as `module M : {` *)
+        parse_module_type p
+      | _ ->
+        let lident = parse_module_long_ident ~lowercase:false p in
+        Ast_helper.Mty.alias lident)
     | token ->
       Parser.err p (Diagnostics.unexpected token p.breadcrumbs);
       Recover.default_module_type ()

tests/syntax_tests/data/printer/signature/expected/module.resi.txt

@@ -23,3 +23,8 @@ module LongNaaaaame: MyModule
 
 @attr
 module LinkedList: module type of List
+
+// turn `=` into `:`
+module M: {
+  let x: int
+}

tests/syntax_tests/data/printer/signature/module.resi

@@ -24,3 +24,6 @@ module LongNaaaaame: MyModule
 
 @attr
 module LinkedList: module type of List
+
+// turn `=` into `:`
+module M = { let x: int }