From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Wed, 1 Feb 95 17:51:12 +0100 Received: from concorde.inria.fr by pauillac.inria.fr; Wed, 1 Feb 95 17:50:41 +0100 Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.6.9/8.6.9) with ESMTP id RAA19014 for ; Wed, 1 Feb 1995 17:50:41 +0100 Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by margaux.inria.fr (8.6.8/8.6.6) with SMTP id RAA18289 for ; Wed, 1 Feb 1995 17:51:08 +0100 Received: by pauillac.inria.fr; Wed, 1 Feb 95 17:50:38 +0100 From: Pierre Weis Message-Id: <9502011650.AA28131@pauillac.inria.fr> Subject: Re: bug ? To: Jean-Christophe.Filliatre@lip.ens-lyon.fr (Jean-Christophe Filliatre) Date: Wed, 1 Feb 1995 17:50:38 +0100 (MET) Cc: caml-list@margaux.inria.fr In-Reply-To: <9501190947.AA14017@lip.ens-lyon.fr> from "Jean-Christophe Filliatre" at Jan 19, 95 10:47:30 am X-Mailer: ELM [version 2.4 PL21] Content-Type: text/plain Sender: weis@pauillac.inria.fr Bonjour, This is just that the standard library is shared by the compiler and the user: the compiler uses the same hashtbl__add function as you. Thus, if you trace it, you can observe that the system uses it when opening a module! There's nothing wrong here... By the way, don't try to trace print_string, since once more the trace package uses the same function, thus ... it's funny. Pierre Weis ---------------------------------------------------------------------------- Projet Cristal INRIA, BP 105, F-78153 Le Chesnay Cedex (France) E-mail: Pierre.Weis@inria.fr Telephone: +33 1 39 63 55 98 ----------------------------------------------------------------------------