summaryrefslogtreecommitdiff
path: root/kernel/modops.ml
diff options
context:
space:
mode:
Diffstat (limited to 'kernel/modops.ml')
-rw-r--r--kernel/modops.ml36
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 =