diff options
author | Xavier Clerc <xavier.clerc@inria.fr> | 2012-07-09 09:43:49 +0000 |
---|---|---|
committer | Xavier Clerc <xavier.clerc@inria.fr> | 2012-07-09 09:43:49 +0000 |
commit | da7078d07bb175a0bb72dde2ef3d8c28c46119ef (patch) | |
tree | c5a25388a30bb6bc2227a16e77397bb50c4ad678 | |
parent | c922570d0f2066f8dbb059b79cc89d75174c2a85 (diff) |
PR#5637: invalid printing of anonymous type parameters (camlp4 revised syntax)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12668 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-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 ; |