Commit e02ba8cd authored by POTTIER Francois's avatar POTTIER Francois

Printer: fix printing precedence of datavalparams.

parent 95a1c22b
......@@ -509,7 +509,9 @@ let datavalparams f = function
| [] ->
()
| valparam :: valparams ->
fprintf f " of %a%a" typ valparam (list typ times) valparams
(* [typ1] because [type t = A of int -> int ] is not allowed by OCaml *)
(* [type t = A of (int -> int)] is allowed *)
fprintf f " of %a%a" typ1 valparam (list typ1 times) valparams
let datatypeparams f = function
| None ->
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment