From b5f6593e18f46a7869e4413c9e9a8a56d0422a6b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Mon, 13 Sep 2010 01:17:31 +0200
Subject: [PATCH] Useful debug printing function.

---
 compiler/global/names.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/compiler/global/names.ml b/compiler/global/names.ml
index 3d73d52..273f2e3 100644
--- a/compiler/global/names.ml
+++ b/compiler/global/names.ml
@@ -69,6 +69,9 @@ let print_name ff n =
   else n
   in fprintf ff "%s" n
 
+let print_raw_qualname ff {qual = q; name = n} =
+  fprintf ff "%s.%a" q print_name n
+
 let opname qn = match qn with
   | { qual = "Pervasives"; name = m; } -> m
   | { qual = qual; name = n; } -> qual ^ "." ^ n