From e0e7bba7331d20b228903306c627a01cc19b14b6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Mon, 13 Sep 2010 11:05:20 +0200 Subject: [PATCH] Removed wrong sanity check in modules. --- compiler/global/modules.ml | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) diff --git a/compiler/global/modules.ml b/compiler/global/modules.ml index d6023c8..509dce0 100644 --- a/compiler/global/modules.ml +++ b/compiler/global/modules.ml @@ -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