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 RAA17016 for caml-redistribution; Mon, 11 May 1998 17:58:26 +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 MAA14607 for ; Mon, 11 May 1998 12:12:49 +0200 (MET DST) Received: from jaune.inria.fr (ddr@jaune.inria.fr [128.93.11.80]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id MAA07308 for ; Mon, 11 May 1998 12:12:48 +0200 (MET DST) Received: (from ddr@localhost) by jaune.inria.fr (8.8.5/8.8.5) id MAA07182; Mon, 11 May 1998 12:12:49 +0200 Message-Id: <199805111012.MAA07182@jaune.inria.fr> Subject: Re: (*)CaML -> SML ? In-Reply-To: <354F0EBE.A96BE3BF@irin.univ-nantes.fr> from Pascal Poizat at "May 5, 98 01:06:06 pm" To: Pascal.Poizat@irin.univ-nantes.fr (Pascal Poizat) Date: Mon, 11 May 1998 12:12:49 +0200 (MET DST) Cc: caml-list@inria.fr From: Daniel de Rauglaudre X-Mailer: ELM [version 2.4ME+ PL28 (25)] MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit 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... Par Camlp4, c'est pas possible. Il ne sait pas pretty-printer en syntaxe SML. Il faudrait l'ajouter, et c'est du boulot. À moins que tu ne veuilles parler de convertisseur SML -> Caml? Là, c'est sûrement possible. Le problème, c'est que ce n'est pas seulement syntaxique. Il y a des fonctions qui changent de nom ou d'interface et il faut donc faire une analyse sémantique du programme. Ou alors se contenter d'une transformation purement syntaxique, mais est-ce que ce sera suffisant pour les utilisateurs? -------------------------------------------------------------------------- Daniel de RAUGLAUDRE Projet Cristal - INRIA Rocquencourt Tel: +33 (01) 39 63 53 51 Email: daniel.de_rauglaudre@inria.fr Web: http://pauillac.inria.fr/~ddr/ --------------------------------------------------------------------------