From: Regis Cridlig <Regis.Cridlig@ens.fr>
Message-Id: <199402240946.AA04300@dmi.ens.fr>
Subject: Camlot 0.6
To: caml-list@margaux.inria.fr
Date: Thu, 24 Feb 94 10:46:27 MET
Hello!
A new release of Camlot, an optimising compiler for the Caml Light language,
is now available by anonymous ftp from the Ecole Normale Superieure site
ftp.ens.fr, in the directory pub/unix/lang/caml (file camlot6.tar.Z), or from
the usual Caml site ftp.inria.fr (directory lang/caml-light).
Changes from previous release:
- many bugs have been removed
- better compilation of constructor types
- a smart linker was added
- now supports 8-bit characters
- default exception handler improved
- a new parser generator: camlotyacc, which handles Caml-Light parser files
- ...
This is a beta-version, compiling Caml Light version 0.6. It produces
C code which runs from 2 to 20 times faster than the normal Caml Light
byte-code. It only produces stand-alone executables. These executables
generally run faster than the code produced by any other ML compiler.
To use Camlot, you need an ANSI C compiler, preferably GCC. To install this
new compiler all you need is the normal Caml Light compiler and
the GNU make utility. (Camlot is highly portable on any 32-bit platform.)
Bug reports should be reported to this list, or better directly to me
(cridlig@dmi.ens.fr).
Best regards,
-- Re'gis Cridlig
Bonjour,
Une nouvelle version de Camlot, un compilateur optimisant pour Caml Light,
est maintenant disponible. On peut l'obtenir par ftp anonyme sur ftp.ens.fr,
dans le re'pertoire pub/unix/lang/caml (fichier camlot6.tar.Z), ou bien sur
ftp.inria.fr dans le re'pertoire lang/caml-light.
Voici quels sont les changements par rapport a` la dernie`re version :
- plusieurs bogues sont maintenant corrige'es
- la compilation des constructeurs est plus efficace
- un editeur de lien a` e'te' ajoute'
- le compilateur supporte les characte`res accentue's 8 bits
- la gestion des exceptions non capture'es est meilleure
- on peut ge'ne'rer des parsers gra^ce a camlotyacc, compatible avec camlyacc
- ...
C'est une version be'ta sans bugs connus, qui compile tout Caml Light
version 0.6. Il produit du code C qui tourne entre 2 et 20 fois plus
vite que le code Caml Light actuel, c'est-a`-dire ge'ne'ralement plus
vite que le code produit par tout autre compilateur ML. Camlot ne
produit que des exe'cutables (pas de boucle interactive). Pour
utiliser Camlot vous devez disposer d'un compilateur C ANSI, de
pre'fe'rence GCC. Pour l'installer, il vous faut le compilateur
Caml Light normal et l'utilitaire GNU make. (Je rappelle que
Camlot peut e^tre facilement porte' sur toute architecture 32 bits.)
Les bogues e'ventuelles du compilateur doivent e^tre signale'es dans cette
tribune ou, mieux, directement a` Re'gis Cridlig (cridlig@dmi.ens.fr).
Amusez-vous bien,
-- Re'gis