diff options
| -rw-r--r-- | Changes | 1 | ||||
| -rw-r--r-- | camlp4/Camlp4Top/Rprint.ml | 4 |
2 files changed, 4 insertions, 1 deletions
@@ -157,6 +157,7 @@ Bug Fixes: - PR#5603: wrong .file debug info generated by ocamlopt -g - PR#5610: new unmarshaler (from PR#5318) fails to freshen object identifiers - PR#5620: invalid printing of type manifest (camlp4 revised syntax) +- PR#5637: invalid printing of anonymous type parameters (camlp4 revised syntax) - PR#5643: issues with .cfi and .loc directives generated by ocamlopt -g - PR#5651: printer for abstract data type (camlp4 revised syntax) - PR#5661: fixes for the test suite diff --git a/camlp4/Camlp4Top/Rprint.ml b/camlp4/Camlp4Top/Rprint.ml index 7f3b28f53..0a1778243 100644 --- a/camlp4/Camlp4Top/Rprint.ml +++ b/camlp4/Camlp4Top/Rprint.ml @@ -301,7 +301,9 @@ and print_ty_label ppf lab = ; value type_parameter ppf (ty, (co, cn)) = - fprintf ppf "%s'%s" (if not cn then "+" else if not co then "-" else "") + fprintf ppf "%s%s%s" + (if not cn then "+" else if not co then "-" else "") + (if ty = "_" then "" else "'") ty ; |