From a72ab6fa08d938902137d1e1f00feb99d03bfac7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Sun, 12 Sep 2010 23:55:54 +0200 Subject: [PATCH] Removed debug g_env printing. --- compiler/global/modules.ml | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/compiler/global/modules.ml b/compiler/global/modules.ml index e68b878..713b7e0 100644 --- a/compiler/global/modules.ml +++ b/compiler/global/modules.ml @@ -145,9 +145,7 @@ let add_value f v = g_env.values <- QualEnv.add f v g_env.values let add_type f v = _check_not_defined g_env.types f; - QualEnv.iter (fun k v -> Format.printf "%s.%s@." k.qual k.name) g_env.types; - g_env.types <- QualEnv.add f v g_env.types; - QualEnv.iter (fun k v -> Format.printf "%s.%s@." k.qual k.name) g_env.types + g_env.types <- QualEnv.add f v g_env.types let add_constrs f v = _check_not_defined g_env.constrs f; g_env.constrs <- QualEnv.add f v g_env.constrs @@ -211,13 +209,12 @@ let check_const q = _check g_env.consts q let _qualify env name = let tries m = try - let q = { qual = m; name = name } in let _ = QualEnv.find { qual = m; name = name } env in true with Not_found -> false in let m = List.find tries (g_env.current_mod::g_env.opened_mod) in { qual = m; name = name } -open Format + let qualify_value name = _qualify g_env.values name let qualify_type name = _qualify g_env.types name let qualify_constrs name = _qualify g_env.constrs name