Message-Id: <199805141551.RAA00809@micmac.lip6.fr>
From: Emmanuel CHAILLOUX <Emmanuel.Chailloux@lip6.fr>
Date: Thu, 14 May 98 17:51:46 +0200
To: Pascal.Poizat@irin.univ-nantes.fr (Pascal Poizat)
Subject: Re: (*)CaML -> SML ?
> 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...=
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:14 MET