Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Typos dans la verification de coherence 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5276 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Xavier Leroy 2002-11-18 10:41:51 +00:00
parent 2548992722
commit 2fb5cf5111
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
asmcomp/asmlink.ml
View File

@ -54,10 +54,13 @@ let check_consistency file_name unit crc =
Consistbl.check crc_implementations name crc file_name)
unit.ui_imports_cmx
with Consistbl.Inconsistency(name, user, auth) ->
raise(Error(Inconsistent_implementations(name, user, auth)))
raise(Error(Inconsistent_implementation(name, user, auth)))
end;
begin try
let source = Consistbl.source crc_implementations unit.ui_name in
raise (Error(Multiple_definition(unit.ui_name, file_name, source)))
with Not_found -> ()
end;
if Consistbl.is_bound crc_implementations unit.ui_name then
raise (Error(Multiple_definition(unit.ui_name, file_name, name)));
Consistbl.set crc_implementations unit.ui_name crc file_name
let extract_crc_interfaces () =