diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-07-18 23:40:43 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-07-19 11:45:35 +0200 |
commit | b3e7ef09210267e6d34bc1ac377e66c7fec7e739 (patch) | |
tree | e97d704efb1246bbf076a7b5678457f4ec4e0895 /printing/ppconstr.ml | |
parent | 692e33acd9a44d5c00fe515bd9b87728d2c872a7 (diff) |
Fixing missing parentheses in printing of patterns in binders.
(In agreement with Daniel.)
Diffstat (limited to 'printing/ppconstr.ml')
-rw-r--r-- | printing/ppconstr.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml index 252b0967d..be92372ac 100644 --- a/printing/ppconstr.ml +++ b/printing/ppconstr.ml @@ -549,7 +549,7 @@ end) = struct not (Id.Set.mem n (Topconstr.free_vars_of_constr_expr a)) -> return ( hov 0 ( - keyword "forall" ++ spc () ++ str "'" ++ pr_patt ltop p ++ + keyword "forall" ++ spc () ++ str "'" ++ pr_patt lsimplepatt p ++ str "," ++ pr spc ltop a), llambda ) @@ -573,7 +573,7 @@ end) = struct not (Id.Set.mem n (Topconstr.free_vars_of_constr_expr a)) -> return ( hov 0 ( - keyword "fun" ++ spc () ++ str "'" ++ pr_patt ltop p ++ + keyword "fun" ++ spc () ++ str "'" ++ pr_patt lsimplepatt p ++ pr_fun_sep ++ pr spc ltop a), llambda ) |