From: Pierre Weis <Pierre.Weis@inria.fr>
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)
In-Reply-To: <9501190947.AA14017@lip.ens-lyon.fr> from "Jean-Christophe Filliatre" at Jan 19, 95 10:47:30 am
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
----------------------------------------------------------------------------