Merge pull request rescript-lang#387 from rescript-lang/not_display_external_garbage

bobzhang · web-flow · commit 529e206c8ed1 · 2021-04-14T16:46:36.000+08:00
not display external garbage
diff --git a/syntax/src/res_outcome_printer.ml b/syntax/src/res_outcome_printer.ml
@@ -598,7 +598,10 @@ let printPolyVarIdent txt =
                  Doc.text " =";
                  Doc.line;
                  Doc.group (
-                   Doc.join ~sep:Doc.line (List.map (fun prim -> Doc.text ("\"" ^ prim ^ "\"")) primitives)
+                   Doc.join ~sep:Doc.line (List.map (fun prim -> 
+                       let prim = if prim <> "" && prim.[0] = '\132' then "#rescript-external" else prim in 
+                       (* not display those garbage '\132' is a magic number for marshal *)
+                       Doc.text ("\"" ^ prim ^ "\"")) primitives)
                  )
                ]
              )

Original file line number	Diff line number	Diff line change
`@@ -598,7 +598,10 @@ let printPolyVarIdent txt =`
`598`	`598`	`Doc.text " =";`
`599`	`599`	`Doc.line;`
`600`	`600`	`Doc.group (`
`601`		`- Doc.join ~sep:Doc.line (List.map (fun prim -> Doc.text ("\"" ^ prim ^ "\"")) primitives)`
	`601`	`+ Doc.join ~sep:Doc.line (List.map (fun prim ->`
	`602`	`+ let prim = if prim <> "" && prim.[0] = '\132' then "#rescript-external" else prim in`
	`603`	`+ (* not display those garbage '\132' is a magic number for marshal *)`
	`604`	`+ Doc.text ("\"" ^ prim ^ "\"")) primitives)`
`602`	`605`	`)`
`603`	`606`	`]`
`604`	`607`	`)`