From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA27410 for caml-redistribution@pauillac.inria.fr; Mon, 6 Mar 2000 14:31:59 +0100 (MET) Resent-Message-Id: <200003061331.OAA27410@pauillac.inria.fr> Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA17425 for ; Mon, 6 Mar 2000 09:52:33 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id JAA19215; Mon, 6 Mar 2000 09:52:32 +0100 (MET) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA32221; Mon, 6 Mar 2000 09:52:31 +0100 (MET) Message-ID: <20000306095231.29343@pauillac.inria.fr> Date: Mon, 6 Mar 2000 09:52:31 +0100 From: Xavier Leroy To: Jym , caml-list@inria.fr Subject: Re: probleme de parsing ? References: Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 0.89.1 In-Reply-To: ; from Jean-Yves Moyen on Tue, Feb 29, 2000 at 08:06:51PM +0100 Resent-From: weis@pauillac.inria.fr Resent-Date: Mon, 6 Mar 2000 14:31:59 +0100 Resent-To: caml-redistribution@pauillac.inria.fr > Bonjour, il y a apparamment un probleme de parsing des chaines dans la > fonction int_of_string : les espaces precedents (ou suivant) les nombres > ne sont pas eliminer. En revanche, il le sont dans la fonction > float_of_string : > Est-ce voulu ? Si oui, pourquoi avoir introduit cette difference ? Ce n'est pas vraiment voulu. La fonction int_of_string est implémentée dans le runtime Caml, et effectue un parsing précis de la chaîne argument. En revanche, float_of_string est un appel à la fonction atof() de la bibliothèque C standard, laquelle effectue un parsing un peu plus lâche de la chaîne, avec espaces optionnels au début. Aussi, atof() n'échoue jamais, mais renvoie 0.0 pour une chaîne mal formée. Il ne serait pas difficile de "durcir" float_of_string par une passe de vérification supplémentaire; mais est-ce bien la peine? - Xavier Leroy