From a0a94c1340a63cdb824507b973393882666ba52a Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 19 Feb 2009 13:13:14 +0100 Subject: Imported Upstream version 8.2-1+dfsg --- checker/safe_typing.ml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'checker/safe_typing.ml') diff --git a/checker/safe_typing.ml b/checker/safe_typing.ml index d5779923..9e886837 100644 --- a/checker/safe_typing.ml +++ b/checker/safe_typing.ml @@ -106,6 +106,10 @@ type compiled_library = (dir_path * Digest.t) list * engagement option +open Validate +let val_deps = val_list (val_tuple"dep"[|val_dp;no_val|]) +let val_vo = val_tuple "vo" [|val_dp;val_module;val_deps;val_eng|] + (* This function should append a certificate to the .vo file. The digest must be part of the certicate to rule out attackers that could change the .vo file between the time it was read and @@ -116,7 +120,7 @@ let stamp_library file digest = () (* When the module is checked, digests do not need to match, but a warning is issued in case of mismatch *) let import file (dp,mb,depends,engmt as vo) digest = - Validate.val_vo (Obj.repr vo); + Validate.apply !Flags.debug val_vo vo; Flags.if_verbose msgnl (str "*** vo structure validated ***"); let env = !genv in check_imports msg_warning dp env depends; -- cgit v1.2.3