diff options
| author | Xavier Clerc <xavier.clerc@inria.fr> | 2012-05-23 08:19:46 +0000 |
|---|---|---|
| committer | Xavier Clerc <xavier.clerc@inria.fr> | 2012-05-23 08:19:46 +0000 |
| commit | 546d88ca52e4aceb3ac3c8b5a414669d50c89866 (patch) | |
| tree | 170c1a0d959cfbfc09d0a4c4a5cd3fc7f33bc213 /camlp4 | |
| parent | 8b5b5f9df5ed72641612e4a93c627b6beda9ccd9 (diff) | |
PR#5620: invalid printing of type manifest (camlp4 revised syntax)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12473 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4')
| -rw-r--r-- | camlp4/Camlp4/Printers/OCamlr.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/camlp4/Camlp4/Printers/OCamlr.ml b/camlp4/Camlp4/Printers/OCamlr.ml index b91f8ea7c..33a85f3d0 100644 --- a/camlp4/Camlp4/Printers/OCamlr.ml +++ b/camlp4/Camlp4/Printers/OCamlr.ml @@ -190,6 +190,8 @@ module Make (Syntax : Sig.Camlp4Syntax) = struct } | <:ctyp< $t1$ : mutable $t2$ >> -> pp f "@[%a :@ mutable %a@]" o#ctyp t1 o#ctyp t2 + | <:ctyp< $t1$ == $t2$ >> -> + pp f "@[<2>%a ==@ %a@]" o#simple_ctyp t1 o#ctyp t2 | t -> super#ctyp f t ]; method simple_ctyp f t = |