Preserve previous names

FStarLang · Dec 7, 2023 · c5d0b7d · c5d0b7d
1 parent d194803
commit c5d0b7d
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 9 deletions.
diff --git a/lib/Monomorphization.ml b/lib/Monomorphization.ml
@@ -379,8 +379,8 @@ module Gen = struct
     let doc =
       let open PPrint in
       let open PrintAst in
-      separate_map underscore print_typ ts ^^ underscore ^^
-      separate_map underscore print_expr cgs
+      separate_map underscore print_typ ts ^^
+      (if cgs = [] then empty else underscore ^^ separate_map underscore print_expr cgs)
     in
     fst lid, snd lid ^ KPrint.bsprintf "__%a" PrintCommon.pdoc doc
 

diff --git a/test/.hints/Rust1.fst.hints b/test/.hints/Rust1.fst.hints