latest syntax

Author: cristianoc

lib/4.06.1/unstable/js_playground_compiler.ml

@@ -289318,7 +289318,9 @@ val setup : unit lazy_t [@@live]
 
 (* Needed for e.g. the playground to print typedtree data *)
 val printOutTypeDoc : Outcometree.out_type -> Res_doc.t [@@live]
-val printOutSigItemDoc : Outcometree.out_sig_item -> Res_doc.t [@@live]
+val printOutSigItemDoc :
+  ?printNameAsIs:bool -> Outcometree.out_sig_item -> Res_doc.t
+  [@@live]
 
 end = struct
 #1 "res_outcome_printer.ml"
@@ -289887,7 +289889,8 @@ let printTypeParameterDoc (typ, (co, cn)) =
       (if typ = "_" then Doc.text "_" else Doc.text ("'" ^ typ));
     ]
 
-let rec printOutSigItemDoc (outSigItem : Outcometree.out_sig_item) =
+let rec printOutSigItemDoc ?(printNameAsIs = false)
+    (outSigItem : Outcometree.out_sig_item) =
   match outSigItem with
   | Osig_class _ | Osig_class_type _ -> Doc.nil
   | Osig_ellipsis -> Doc.dotdotdot
@@ -290052,7 +290055,8 @@ let rec printOutSigItemDoc (outSigItem : Outcometree.out_sig_item) =
                 [
                   attrs;
                   kw;
-                  printIdentLike ~allowUident:false outTypeDecl.otype_name;
+                  (if printNameAsIs then Doc.text outTypeDecl.otype_name
+                  else printIdentLike ~allowUident:false outTypeDecl.otype_name);
                   typeParams;
                   kind;
                 ]);
@@ -290147,7 +290151,7 @@ and printOutSignatureDoc (signature : Outcometree.out_sig_item list) =
       let doc = printOutTypeExtensionDoc te in
       loop items (doc :: acc)
     | item :: items ->
-      let doc = printOutSigItemDoc item in
+      let doc = printOutSigItemDoc ~printNameAsIs:false item in
       loop items (doc :: acc)
   in
   match loop signature [] with

lib/4.06.1/whole_compiler.ml

@@ -303744,7 +303744,9 @@ val setup : unit lazy_t [@@live]
 
 (* Needed for e.g. the playground to print typedtree data *)
 val printOutTypeDoc : Outcometree.out_type -> Res_doc.t [@@live]
-val printOutSigItemDoc : Outcometree.out_sig_item -> Res_doc.t [@@live]
+val printOutSigItemDoc :
+  ?printNameAsIs:bool -> Outcometree.out_sig_item -> Res_doc.t
+  [@@live]
 
 end = struct
 #1 "res_outcome_printer.ml"
@@ -304313,7 +304315,8 @@ let printTypeParameterDoc (typ, (co, cn)) =
       (if typ = "_" then Doc.text "_" else Doc.text ("'" ^ typ));
     ]
 
-let rec printOutSigItemDoc (outSigItem : Outcometree.out_sig_item) =
+let rec printOutSigItemDoc ?(printNameAsIs = false)
+    (outSigItem : Outcometree.out_sig_item) =
   match outSigItem with
   | Osig_class _ | Osig_class_type _ -> Doc.nil
   | Osig_ellipsis -> Doc.dotdotdot
@@ -304478,7 +304481,8 @@ let rec printOutSigItemDoc (outSigItem : Outcometree.out_sig_item) =
                 [
                   attrs;
                   kw;
-                  printIdentLike ~allowUident:false outTypeDecl.otype_name;
+                  (if printNameAsIs then Doc.text outTypeDecl.otype_name
+                  else printIdentLike ~allowUident:false outTypeDecl.otype_name);
                   typeParams;
                   kind;
                 ]);
@@ -304573,7 +304577,7 @@ and printOutSignatureDoc (signature : Outcometree.out_sig_item list) =
       let doc = printOutTypeExtensionDoc te in
       loop items (doc :: acc)
     | item :: items ->
-      let doc = printOutSigItemDoc item in
+      let doc = printOutSigItemDoc ~printNameAsIs:false item in
       loop items (doc :: acc)
   in
   match loop signature [] with