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 UAA17855 for caml-red; Sun, 20 Aug 2000 20:15:32 +0200 (MET DST)
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 TAA17899 for <caml-list@pauillac.inria.fr>; Sun, 20 Aug 2000 19:30:08 +0200 (MET DST)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e7KHSiD01951;
	Sun, 20 Aug 2000 19:28:44 +0200 (MET DST)
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA18234; Sun, 20 Aug 2000 19:28:43 +0200 (MET DST)
From: Pierre Weis <Pierre.Weis@inria.fr>
Message-Id: <200008201728.TAA18234@pauillac.inria.fr>
Subject: Re: from camlight (0.74) to ocaml (3.00)
In-Reply-To: <399D5C28.1A4792DE@inrets.fr> from Georges MARIANO at "Aug 18, 100 03:54:16 pm"
To: georges.mariano@inrets.fr (Georges MARIANO)
Date: Sun, 20 Aug 2000 19:28:43 +0200 (MET DST)
Cc: caml-list@inria.fr
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@pauillac.inria.fr

> Hello everyone,
> 
> Is there anywhere a booklet, a paper, a note explaining
> how to move (smoothly) from camlight to ocaml ??
> 
> Existe-t-il quelque part des indications sur la migration 
> d'un programme, de Camlight vers Ocaml...
> 
> Merci
> 
> -- 
> > Georges MARIANO                 tel: (33) 03 20 43 84 06
> > INRETS, 20 rue Elisee Reclus    fax: (33) 03 20 43 83 59
> > 59650 Villeneuve d'Ascq         mailto:mariano@terre.inrets.fr
> > FRANCE.                         
> > http://www3.inrets.fr/Public/ESTAS/Mariano.Georges/
> > http://www3.inrets.fr/BUGhome.html         mailto:Bforum@estas1.inrets.fr

[Traduction française à la fin du message]

To my knowledge there is no booklet, there is something better: an
automatic translator from Caml Light to Objective Caml! Look at file

cl742ocamlV2.0.tar.gz

in the Ocaml bazar (ftp://ftp.inria.fr/lang/caml-light/bazar-ocaml/).

it translates Caml Light 0.74 programs to Objective Caml2.0.

It should be easy to port the translator to Caml3.0. I can help if
necessary. 

All the best for your translation.

[Français]

Il n'y a pas à ma connaissance de receuil de modifications à faire
pour passer du code Caml Light en Objective Caml. Il y a mieux
cependant: un traducteur automatique de Caml Light 0.74 vers Objective
Caml 2.0. Utiliser le programme

cl742ocamlV2.0.tar.gz

dans le bazar d'Ocaml (ftp://ftp.inria.fr/lang/caml-light/bazar-ocaml/).

Je pense que le portage de ce programme de traduction en Objective
Caml 3.0 ne sera pas très difficile. Je peux aider en cas de besoin.

Bonne chance.

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://cristal.inria.fr/~weis/