From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Wed, 1 Feb 95 17:45:36 +0100 Received: from concorde.inria.fr by pauillac.inria.fr; Thu, 19 Jan 95 10:47:37 +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 KAA14855 for ; Thu, 19 Jan 1995 10:47:37 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.6.8/8.6.6) with ESMTP id KAA00578 for ; Thu, 19 Jan 1995 10:48:00 +0100 Received: from cri.ens-lyon.fr (cri.ens-lyon.fr [140.77.1.32]) by concorde.inria.fr (8.6.9/8.6.9) with SMTP id KAA14851 for ; Thu, 19 Jan 1995 10:47:34 +0100 Received: from lip.ens-lyon.fr (lip-gw) by cri.ens-lyon.fr (5.x/SMI-SVR4) id AA19287; Thu, 19 Jan 1995 10:47:01 +0100 Received: from pineau.ens-lyon.fr by lip.ens-lyon.fr (4.1/SMI-4.1) id AA14017; Thu, 19 Jan 95 10:47:30 +0100 Date: Thu, 19 Jan 95 10:47:30 +0100 From: Jean-Christophe.Filliatre@lip.ens-lyon.fr (Jean-Christophe Filliatre) Message-Id: <9501190947.AA14017@lip.ens-lyon.fr> Received: by pineau.ens-lyon.fr (4.1/SMI-4.1) id AA05569; Thu, 19 Jan 95 10:48:06 +0100 To: caml-list@margaux.inria.fr Subject: bug ? Sender: weis@pauillac.inria.fr Bonjour, En debugguant Coq avec Judicael, nous avons obtenu le resultat surprenant suivant : soit toto.ml le programme suivant ------------------------ #open "hashtbl";; let f x = let t = new 10 in add t x true; find t x ;; if f 1 then output_string std_out "ok\n" ; flush std_out ;; ----------------------- toujours dans le meme repertoire, je fais ----------------------- % camlc toto.ml % camlmktop -o essai toto.zo % camllight essai ok > Caml Light version 0.61 #trace "hashtbl__add";; >> hashtbl__add is now traced. - : unit = () ##open "toto";; hashtbl__add <-- hashtbl__add --> hashtbl__add* <-- hashtbl__add* --> hashtbl__add** <-- hashtbl__add** --> () # ----------------------- qu'est-ce qui se passe ?!?! --Jean-Christophe.