Commit 6af442ec authored by POTTIER Francois's avatar POTTIER Francois

Pretty-printing improvements.

parent 33181dec
......@@ -214,7 +214,7 @@ let pvar xt =
space ^^ parens (var xt)
let pvars xts =
concat_map pvar xts
group (concat_map pvar xts)
(* A list of field declarations, separated with semicolons. *)
......@@ -243,7 +243,7 @@ let parameter x d1 =
(break 1 ^^ d1)
dot
(* The right-hand side of a record declaration. [Foo { ... }]. *)
(* The right-hand side of a record declaration. [ Foo { ... }]. *)
let record_rhs r =
space ^^
......@@ -275,7 +275,7 @@ let implicit (x, i) =
| Coqi_implicit ->
string x
| Coqi_explicit ->
empty
sprintf "(* %s *)" x
(* A toplevel element. *)
......
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