diff options
| author | Alain Frisch <alain@frisch.fr> | 2015-01-07 11:34:03 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2015-01-07 11:34:03 +0000 |
| commit | 1be542d94861b07379a154290befb1a9a5dcb89e (patch) | |
| tree | fb3e3af8507802b65d50ff8b7de89eb7f632f88e /parsing | |
| parent | 6e85c2d956c8fd5b45acd70a27586e44bb3a3119 (diff) | |
Fix #6679 (pprintast bug around constraint).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15765 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/pprintast.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/parsing/pprintast.ml b/parsing/pprintast.ml index 6d1d22c14..c72e09941 100644 --- a/parsing/pprintast.ml +++ b/parsing/pprintast.ml @@ -1289,11 +1289,11 @@ class printer ()= object(self:'self) | Ptype_open -> pp f "%t@;.." intro in let constraints f = - self#list ~first:"@ " - (fun f (ct1,ct2,_) -> - pp f "@[<hov2>constraint@ %a@ =@ %a@]" + List.iter + (fun (ct1,ct2,_) -> + pp f "@[<hov2>@ constraint@ %a@ =@ %a@]" self#core_type ct1 self#core_type ct2) - f x.ptype_cstrs + x.ptype_cstrs in pp f "%t%t%t%t" priv manifest repr constraints |