coupage en deux du bloc pas si mutuellement recursif des module_body & co (...type... puis ....expr....)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3929 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 9 insertions, 8 deletions

diff --git a/kernel/declarations.ml b/kernel/declarations.ml
index ee1167b8f..000305ebe 100644
--- a/kernel/declarations.ml
+++ b/kernel/declarations.ml
@@ -160,19 +160,13 @@ and module_type_body =
   | MTBfunsig of mod_bound_id * module_type_body * module_type_body
   | MTBsig of mod_self_id * module_signature_body
 
-and module_expr_body =
-  | MEBident of module_path
-  | MEBfunctor of mod_bound_id * module_type_body * module_expr_body 
-  | MEBstruct of mod_self_id * module_structure_body
-  | MEBapply of module_expr_body * module_expr_body
-      * constraints
-
 and module_specification_body = 
     { msb_modtype : module_type_body;
       msb_equiv : module_path option; 
       msb_constraints : constraints }
 
-and structure_elem_body = 
+
+type structure_elem_body = 
   | SEBconst of constant_body
   | SEBmind of mutual_inductive_body
   | SEBmodule of module_body
@@ -180,6 +174,13 @@ and structure_elem_body =
 
 and module_structure_body = (label * structure_elem_body) list
 
+and module_expr_body =
+  | MEBident of module_path
+  | MEBfunctor of mod_bound_id * module_type_body * module_expr_body 
+  | MEBstruct of mod_self_id * module_structure_body
+  | MEBapply of module_expr_body * module_expr_body
+      * constraints
+
 and module_body = 
     { mod_expr : module_expr_body option;
       mod_user_type : module_type_body option;