From: Pierre Weis <Pierre.Weis@inria.fr>
To: georges.mariano@inrets.fr (Georges MARIANO)
Cc: caml-list@inria.fr
Subject: Re: from camlight (0.74) to ocaml (3.00)
Date: Sun, 20 Aug 2000 19:28:43 +0200 (MET DST) [thread overview]
Message-ID: <200008201728.TAA18234@pauillac.inria.fr> (raw)
In-Reply-To: <399D5C28.1A4792DE@inrets.fr> from Georges MARIANO at "Aug 18, 100 03:54:16 pm"
> 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/
prev parent reply other threads:[~2000-08-20 18:15 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-08-18 15:54 Georges MARIANO
2000-08-20 17:28 ` Pierre Weis [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200008201728.TAA18234@pauillac.inria.fr \
--to=pierre.weis@inria.fr \
--cc=caml-list@inria.fr \
--cc=georges.mariano@inrets.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox