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

[refactoring] consistbl: minor factorization

master
Gabriel Scherer 2019-01-07 16:43:19 +01:00
parent 55d2b3432d
commit e74569cca8
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
utils/consistbl.ml
View File

@ -34,17 +34,17 @@ end) = struct
exception Not_available of Module_name.t
let check_ tbl name crc source =
let (old_crc, old_source) = Module_name.Tbl.find tbl name in
if crc <> old_crc then raise(Inconsistency(name, source, old_source))
let check tbl name crc source =
try
let (old_crc, old_source) = Module_name.Tbl.find tbl name in
if crc <> old_crc then raise(Inconsistency(name, source, old_source))
try check_ tbl name crc source
with Not_found ->
Module_name.Tbl.add tbl name (crc, source)
let check_noadd tbl name crc source =
try
let (old_crc, old_source) = Module_name.Tbl.find tbl name in
if crc <> old_crc then raise(Inconsistency(name, source, old_source))
try check_ tbl name crc source
with Not_found ->
raise (Not_available name)