New release of Camloo

Manuel.Serrano@inria.fr (Manuel Serrano)
Mon, 13 Jun 1994 04:05:35 GMT

          From comp.compilers
Related articles
New release of Camloo Manuel.Serrano@inria.fr (1994-06-13)
| List of all articles for this month |
Newsgroups: comp.compilers
From: Manuel.Serrano@inria.fr (Manuel Serrano)
Keywords: tools, FTP, available, Scheme
Organization: INRIA * Rocquencourt BP 105 * F-78153 LE CHESNAY CEDEX* France
Date: Mon, 13 Jun 1994 04:05:35 GMT

The new version of the Camloo (the package, which allows Bigloo to
compile Caml) is now available by anonymous ftp from ftp.inria.fr
[192.93.2.54], in the directory
INRIA/Projects/icsla/Implementations.


Camloo0.2 requires Bigloo1.6c (which is available at the same
address).


This new version fixes some bugs, and implements new optimisations.


As a side-effect of the Bigloo ML/Scheme interface facility, the
call/cc primitive is now available in Caml source files (see the
contrib/libcallcc/README file for more information).


Camloo is bootstrapped and fully compliant with the Caml Light 0.6
compiler and the Caml Light libraries (including camlyacc, camllex).
It can be considered as an alternative to the regular camlc compiler.
In particular, it has successfully compiled many complex Caml Light
programs, including camlc and the Coq system (the ``calculus of
constructions'', a proof assistant).


For further informations contact {Manuel.Serrano,Pierre.Weis}@inria.fr.






--Manuel Serrano & Pierre Weis--






--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.