Fix printing of module types with multiple type constraints

Author: mediremi

compiler/syntax/src/res_outcome_printer.ml

@@ -217,14 +217,18 @@ let rec print_out_type_doc (out_type : Outcometree.out_type) =
           Doc.join ~sep:Doc.line
             ((List.map2 [@doesNotRaise])
                (fun lbl typ ->
-                 Doc.concat
-                   [
-                     Doc.text
-                       (if i.contents > 0 then "and type " else "with type ");
-                     Doc.text lbl;
-                     Doc.text " = ";
-                     print_out_type_doc typ;
-                   ])
+                 let result =
+                   Doc.concat
+                     [
+                       Doc.text
+                         (if i.contents > 0 then "and type " else "with type ");
+                       Doc.text lbl;
+                       Doc.text " = ";
+                       print_out_type_doc typ;
+                     ]
+                 in
+                 incr i;
+                 result)
                labels types)
         in
         Doc.indent (Doc.concat [Doc.line; package])

tests/analysis_tests/tests/src/expected/CreateInterface.res.txt

@@ -130,6 +130,6 @@ module OrderedSet: {
     set: Belt.Set.t<'a, 'identity>,
     array: array<'a>,
   }
-  let make: (~id: module(Belt.Id.Comparable with type identity = 'a with type t = 'b)) => t<'b, 'a>
+  let make: (~id: module(Belt.Id.Comparable with type identity = 'a and type t = 'b)) => t<'b, 'a>
 }