  This is release 0.5 of the Camlot compiler.

OVERVIEW:

  Camlot is the stand alone Caml Light to C compiler. It then uses a standard C
  compiler to produce an executable machine code file. The compiler itself is
  mostly written in Caml Light and the runtime system is written in standard C,
  hence Camlot is easy to port to almost any 32-bit platform. The performance 
  of the resulting code is quite good, often ten times faster than the bytecode
  original implementation of Caml Light.

  Caml Light implements the Caml language, a functional language from
  the ML family. Caml is quite close to Standard ML, though not strictly
  conformant. There are some slight differences in syntax and semantics,
  and major differences in the module system (these changes were
  required to support separate compilation).

  This distribution has been tested on the following platforms:

        Sun Sparcstation
        DecStation 3100
        HP 9000/710
	i386/486 Linux

CONTENTS:

    camlot.p		  the compiler driver (in Bourne shell)
    Runtime/              the runtime system (in C)
    GC/			  the GC (in C)
    K2/			  the K2 compiler (in C)
    Include/		  some include files (C and K2)
    Lib/                  the standard library (in Caml Light)
    Compiler/             the compiler (in Caml Light)
    Linker/               the linker (in Caml Light)
    Lex/                  the lexer generator (in Caml Light)
    Yacc/                 the parser generator (in C)
    Tests/                various test programs
    Man/camlot.1          the manual page		  
    INSTALL               instructions for installation
    README                this file


INSTALLATION:

  See the file INSTALL for installation instructions on Unix
  machines. 


DOCUMENTATION:

  The Caml Light language is described in the manual:

  "Functional Programming using Caml Light" by Michel Mauny.

  This manual is distributed in Postscript and in DVI formats.
  It can be obtained by anonymous FTP from ftp.inria.fr.


BUG REPORTS AND USER FEEDBACK:

  Send your bug reports by E-mail to

          cridlig@dmi.ens.fr  (Re'gis Cridlig)

  To be effective, bug reports should include a complete program (as
  small as possible) that exhibits the unexpected behavior, and the
  configuration you are using (machine type, etc).

  We welcome your bug reports and comments, but no guarantees are
  offered as to when they will be dealt with!
