Commit b090a231 authored by POTTIER Francois's avatar POTTIER Francois

Support for [include] in structures.

parent b7e5116a
......@@ -249,4 +249,5 @@ and structure_item =
| SIStretch of Stretch.t list
(* Sub-module definition. *)
| SIModuleDef of string * modexpr
(* Module inclusion. *)
| SIInclude of modexpr
......@@ -280,6 +280,8 @@ let rec inline_structure_item item =
SIFunctor (params, inline_structure s)
| SIModuleDef (name, e) ->
SIModuleDef (name, inline_modexpr e)
| SIInclude e ->
SIInclude (inline_modexpr e)
| SIExcDefs _
| SITypeDefs _
| SIValDefs (false, _)
......
......@@ -646,6 +646,8 @@ let rec structure_item f item =
assert false (* already handled above *)
| SIModuleDef (name, rhs) ->
fprintf f "module %s = %a" name modexpr rhs
| SIInclude e ->
fprintf f "include %a" modexpr e
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