Imported Upstream version 8.2~beta4+dfsgupstream/8.2.beta4+dfsg

1 files changed, 18 insertions, 18 deletions

diff --git a/kernel/modops.ml b/kernel/modops.ml
index 9242a757..7bed3254 100644
--- a/kernel/modops.ml
+++ b/kernel/modops.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: modops.ml 11142 2008-06-18 15:37:31Z soubiran $ i*)
+(*i $Id: modops.ml 11309 2008-08-06 10:30:35Z herbelin $ i*)
 
 (*i*)
 open Util
@@ -22,51 +22,51 @@ open Mod_subst
 
 
 let error_existing_label l = 
-  error ("The label "^string_of_label l^" is already declared")
+  error ("The label "^string_of_label l^" is already declared.")
 
-let error_declaration_not_path _ = error "Declaration is not a path"
+let error_declaration_not_path _ = error "Declaration is not a path."
 
-let error_application_to_not_path _ = error "Application to not path"
+let error_application_to_not_path _ = error "Application to not path."
 
-let error_not_a_functor _ = error "Application of not a functor"
+let error_not_a_functor _ = error "Application of not a functor."
 
-let error_incompatible_modtypes _ _ = error "Incompatible module types"
+let error_incompatible_modtypes _ _ = error "Incompatible module types."
 
-let error_not_equal _ _ = error "Not equal modules"
+let error_not_equal _ _ = error "Non equal modules."
 
-let error_not_match l _ = error ("Signature components for label "^string_of_label l^" do not match")
+let error_not_match l _ = error ("Signature components for label "^string_of_label l^" do not match.")
 
-let error_no_such_label l = error ("No such label "^string_of_label l)
+let error_no_such_label l = error ("No such label "^string_of_label l^".")
 
 let error_incompatible_labels l l' = 
   error ("Opening and closing labels are not the same: "
 	 ^string_of_label l^" <> "^string_of_label l'^" !")
 
 let error_result_must_be_signature () = 
-  error "The result module type must be a signature"
+  error "The result module type must be a signature."
 
 let error_signature_expected mtb =
-  error "Signature expected"
+  error "Signature expected."
 
 let error_no_module_to_end _ = 
-  error "No open module to end"
+  error "No open module to end."
 
 let error_no_modtype_to_end _ =
-  error "No open module type to end"
+  error "No open module type to end."
 
 let error_not_a_modtype_loc loc s = 
-  user_err_loc (loc,"",str ("\""^s^"\" is not a module type"))
+  user_err_loc (loc,"",str ("\""^s^"\" is not a module type."))
 
 let error_not_a_module_loc loc s = 
-  user_err_loc (loc,"",str ("\""^s^"\" is not a module"))
+  user_err_loc (loc,"",str ("\""^s^"\" is not a module."))
 
 let error_not_a_module s = error_not_a_module_loc dummy_loc s
 
 let error_not_a_constant l = 
-  error ("\""^(string_of_label l)^"\" is not a constant")
+  error ("\""^(string_of_label l)^"\" is not a constant.")
 
 let error_with_incorrect l =
-  error ("Incorrect constraint for label \""^(string_of_label l)^"\"")
+  error ("Incorrect constraint for label \""^(string_of_label l)^"\".")
 
 let error_a_generative_module_expected l =
   error ("The module " ^ string_of_label l ^ " is not generative. Only " ^
@@ -79,7 +79,7 @@ let error_local_context lo =
 	error ("The local context is not empty.")
     | (Some l) ->
 	error ("The local context of the component "^
-	       (string_of_label l)^" is not empty")
+	       (string_of_label l)^" is not empty.")
 
 
 let error_no_such_label_sub l l1 l2 =