From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA25088 for caml-redistribution; Mon, 18 May 1998 15:08:27 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA07571 for ; Thu, 14 May 1998 17:52:22 +0200 (MET DST) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id RAA24082 for ; Thu, 14 May 1998 17:52:21 +0200 (MET DST) Received: from spi.lip6.fr (monbazillac.lip6.fr [132.227.82.65]) by isis.lip6.fr (8.8.8/jtpda-5.2.9.1+lip6) with ESMTP id RAA22066 ; Thu, 14 May 1998 17:52:00 +0200 (MET DST) Received: from micmac.lip6.fr (micmac.lip6.fr [132.227.83.110]) by spi.lip6.fr (8.8.6/jtpda-5.2) with ESMTP id RAA02067 ; Thu, 14 May 1998 17:52:46 +0200 (MET DST) Received: from (emmanuel@localhost) by micmac.lip6.fr (8.7.5/jtpda-5.2) id RAA00809 ; Thu, 14 May 1998 17:51:48 +0200 (MET DST) Message-Id: <199805141551.RAA00809@micmac.lip6.fr> MIME-Version: 1.0 (NeXT Mail 3.3risc v118.3) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Nextstep-Mailer: Mail 3.3risc (Enhance 2.1) Received: by NeXT.Mailer (1.118.3) From: Emmanuel CHAILLOUX Date: Thu, 14 May 98 17:51:46 +0200 To: Pascal.Poizat@irin.univ-nantes.fr (Pascal Poizat) Subject: Re: (*)CaML -> SML ? cc: caml-list@inria.fr Sender: weis > Je me demandais s'il y avait un outil du style (*)CaML vers SML = en > passant > par CaMLp4 par exemple ? Je pense qu'il faut aussi ne pas = utiliser > certains traits > de CamlLight... On avait ecrit un outil pour traduire du caml-light 0.7 en SML = 0.93. L'idee etait de developper en caml-light et de pouvoir diffuser dans les differents dialectes = ML. C'est cet outil qui a ete utilise pour la bibliotheque MLgraph : = ftp://ftp.ens.fr/pub/unix/lang/MLgraph/version-2.1/ C'est un outil d'aide a` la traduction et non pas un compilateur = de caml-light -> SML - tout caml-light ne passe pas : streams,.. - il peut avoir des erreurs a` la compilation du fichier SML = engendre : variables de type faible, operateurs polymorphes = d'inegalite, types acceptant l'egalite - et a` l'execution : semantique differente de l'egalite, ordre d'evaluation = specifie en SML. Il y a un papier des JFLA 96 dessus : Caml2sml : un outil d'aide a` la traduction de Caml-Light vers = Sml/nj E. Chailloux, L. Kirsch et S. Lucas Emmanuel Chailloux...=