Sync from latest syntax including PR 605

rescript-lang/syntax#605

Author: cristianoc

analysis/vendor/res_outcome_printer/res_comment.ml

@@ -1,10 +1,11 @@
-type style = SingleLine | MultiLine | DocComment
+type style = SingleLine | MultiLine | DocComment | ModuleComment
 
 let styleToString s =
   match s with
   | SingleLine -> "SingleLine"
   | MultiLine -> "MultiLine"
   | DocComment -> "DocComment"
+  | ModuleComment -> "ModuleComment"
 
 type t = {
   txt: string;
@@ -23,6 +24,8 @@ let isSingleLineComment t = t.style = SingleLine
 
 let isDocComment t = t.style = DocComment
 
+let isModuleComment t = t.style = ModuleComment
+
 let toString t =
   let {Location.loc_start; loc_end} = t.loc in
   Format.sprintf "(txt: %s\nstyle: %s\nlocation: %d,%d-%d,%d)" t.txt
@@ -34,11 +37,13 @@ let toString t =
 let makeSingleLineComment ~loc txt =
   {txt; loc; style = SingleLine; prevTokEndPos = Lexing.dummy_pos}
 
-let makeMultiLineComment ~loc ~docComment txt =
+let makeMultiLineComment ~loc ~docComment ~standalone txt =
   {
     txt;
     loc;
-    style = (if docComment then DocComment else MultiLine);
+    style =
+      (if docComment then if standalone then ModuleComment else DocComment
+      else MultiLine);
     prevTokEndPos = Lexing.dummy_pos;
   }
 

analysis/vendor/res_outcome_printer/res_comment.mli

@@ -10,10 +10,13 @@ val setPrevTokEndPos : t -> Lexing.position -> unit
 
 val isDocComment : t -> bool
 
+val isModuleComment : t -> bool
+
 val isSingleLineComment : t -> bool
 
 val makeSingleLineComment : loc:Location.t -> string -> t
-val makeMultiLineComment : loc:Location.t -> docComment:bool -> string -> t
+val makeMultiLineComment :
+  loc:Location.t -> docComment:bool -> standalone:bool -> string -> t
 val fromOcamlComment :
   loc:Location.t -> txt:string -> prevTokEndPos:Lexing.position -> t
 val trimSpaces : string -> string