Commit 43ed86b4 authored by POTTIER Francois's avatar POTTIER Francois

Added [SIComment].

parent bce441e5
......@@ -250,3 +250,5 @@ and structure_item =
| SIModuleDef of string * modexpr
(* Module inclusion. *)
| SIInclude of modexpr
(* Comment. *)
| SIComment of string
......@@ -285,7 +285,8 @@ let rec inline_structure_item item =
| SIExcDefs _
| SITypeDefs _
| SIValDefs (false, _)
| SIStretch _ ->
| SIStretch _
| SIComment _ ->
item
and inline_structure s =
......
......@@ -641,6 +641,8 @@ let rec structure_item f item =
fprintf f "module %s = %a" name modexpr rhs
| SIInclude e ->
fprintf f "include %a" modexpr e
| SIComment comment ->
fprintf f "(* %s *)" comment
end;
nl f
......
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