jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Removed wrong sanity check in modules.

Browse source
This commit is contained in:
Léonard Gérard 2010-09-13 11:05:20 +02:00
parent 4cc18831b4
commit e0e7bba733
1 changed files with 1 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
compiler/global/modules.ml
View file

@ -161,17 +161,7 @@ let replace_value f v =
(** { 3 Find functions look in the global environnement, nothing more } *)
let _check_loaded_module m =
if not (List.mem m g_env. loaded_mod)
then (
Format.eprintf "The module %s was not loaded." m;
raise Error )
let _find env x =
try QualEnv.find x env
with Not_found ->
_check_loaded_module x.qual; (* should never arrive, sanity check *)
raise Not_found
let _find env x = QualEnv.find x env
let find_value x = _find g_env.values x
let find_type x = _find g_env.types x