MAJ avant release 1.13.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@582 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02master
parent
61e360ada5
commit
ce326fe6e4
6
Changes
6
Changes
|
@ -3,8 +3,8 @@ Release 1.13:
|
||||||
* Pattern-matching compilation revised to factor out accesses inside
|
* Pattern-matching compilation revised to factor out accesses inside
|
||||||
matched structures.
|
matched structures.
|
||||||
|
|
||||||
* Callbacks and signals now supported in cslopt (what a terrible
|
* Callbacks and signals now supported in cslopt.
|
||||||
hack). Signals are only detected at allocation points, though.
|
Signals are only detected at allocation points, though.
|
||||||
Added callback functions with 2 and 3 arguments.
|
Added callback functions with 2 and 3 arguments.
|
||||||
|
|
||||||
* More explicit error messages when a native-code program aborts due
|
* More explicit error messages when a native-code program aborts due
|
||||||
|
@ -21,7 +21,7 @@ emulation on V7 processors is abysmal.
|
||||||
|
|
||||||
Release 1.12:
|
Release 1.12:
|
||||||
|
|
||||||
* Fix an embarrassing bug with references to floats.
|
* Fixed an embarrassing bug with references to floats.
|
||||||
|
|
||||||
Release 1.11:
|
Release 1.11:
|
||||||
|
|
||||||
|
|
11
INSTALL
11
INSTALL
|
@ -107,7 +107,7 @@ pinpoint the problem.
|
||||||
COMMON PROBLEMS:
|
COMMON PROBLEMS:
|
||||||
|
|
||||||
* The Makefiles use the "include" directive, which is not supported by
|
* The Makefiles use the "include" directive, which is not supported by
|
||||||
older versions of make. Use GNU make instead.
|
all versions of make. Use GNU make instead.
|
||||||
|
|
||||||
* The Makefiles assume that make execute commands by calling /bin/sh. They
|
* The Makefiles assume that make execute commands by calling /bin/sh. They
|
||||||
won't work if /bin/csh is called instead. You may have to unset the SHELL
|
won't work if /bin/csh is called instead. You may have to unset the SHELL
|
||||||
|
@ -128,17 +128,8 @@ gcc. Be sure to add the -U__GNUC__ option in $(BYTECCCOMPOPTS).
|
||||||
|
|
||||||
MACHINE-SPECIFIC HINTS:
|
MACHINE-SPECIFIC HINTS:
|
||||||
|
|
||||||
* On SparcStations 1, 1+, 2 (and other models with Sparc version 7
|
|
||||||
processors) under SunOS 4.1.2: programs using integer division or
|
|
||||||
integer modulus crash on a segmentation fault when compiled with
|
|
||||||
cslopt. The same programs work fine under SunOS 4.1.1, 4.1.3 and
|
|
||||||
4.1.4, so it looks very much like a kernel bug in the
|
|
||||||
emulation of the sdiv instruction. Consider an upgrade to 4.1.3 or
|
|
||||||
higher.
|
|
||||||
|
|
||||||
* On HP 9000/700 machines under HP/UX 9. Some versions of cc are
|
* On HP 9000/700 machines under HP/UX 9. Some versions of cc are
|
||||||
unable to compile correctly the runtime system (wrong code is
|
unable to compile correctly the runtime system (wrong code is
|
||||||
generated for (x - y) where x is a pointer and y an integer).
|
generated for (x - y) where x is a pointer and y an integer).
|
||||||
Fix: use gcc.
|
Fix: use gcc.
|
||||||
|
|
||||||
|
|
||||||
|
|
4
LICENSE
4
LICENSE
|
@ -1,6 +1,6 @@
|
||||||
LEGAL NOTICE
|
LEGAL NOTICE
|
||||||
|
|
||||||
Software: Caml Special Light, version 1.10 of November 1995,
|
Software: Caml Special Light, version 1.13 of January 1996,
|
||||||
hereinafter referred to as "the software".
|
hereinafter referred to as "the software".
|
||||||
|
|
||||||
The software has been designed and produced by Xavier Leroy and Damien
|
The software has been designed and produced by Xavier Leroy and Damien
|
||||||
|
@ -8,7 +8,7 @@ Doligez, research workers for the Institut National de Recherche en
|
||||||
Informatique et en Automatique (INRIA) - Domaine de Voluceau -
|
Informatique et en Automatique (INRIA) - Domaine de Voluceau -
|
||||||
Rocquencourt - 78153 Le Chesnay Cedex - France.
|
Rocquencourt - 78153 Le Chesnay Cedex - France.
|
||||||
|
|
||||||
INRIA holds all ownership rights to Caml Special Light version 1.06.
|
INRIA holds all ownership rights to Caml Special Light.
|
||||||
|
|
||||||
The software has been registered at Agence pour la Protection
|
The software has been registered at Agence pour la Protection
|
||||||
des Programmes (APP).
|
des Programmes (APP).
|
||||||
|
|
14
README
14
README
|
@ -37,10 +37,10 @@ little work.
|
||||||
|
|
||||||
This distribution has been tested on the following platforms:
|
This distribution has been tested on the following platforms:
|
||||||
|
|
||||||
DecStation 3000/300, OSF/1 2.0, cc and gcc 2.5.8
|
DecStation 3000/300, OSF/1 2.0, cc and gcc 2.7.1
|
||||||
SparcStation 10, SunOS 4.1.3, gcc 2.5.8
|
SparcStation 10, SunOS 4.1.3, gcc 2.7.1
|
||||||
PC 486 DX2/66, Linux 1.2.13, gcc 2.5.8
|
PC 486 DX2/66, Linux 1.2.13, gcc 2.5.8
|
||||||
DecStation 5000/200, Ultrix 4.1, cc and gcc 2.4.5
|
DecStation 5000/200, Ultrix 4.1, cc and gcc 2.7.1
|
||||||
HP 9000/712, NextStep 3.2, cc
|
HP 9000/712, NextStep 3.2, cc
|
||||||
|
|
||||||
CONTENTS:
|
CONTENTS:
|
||||||
|
@ -114,11 +114,11 @@ If you wish to subscribe to this list, please send a message
|
||||||
caml-list-request@pauillac.inria.fr
|
caml-list-request@pauillac.inria.fr
|
||||||
|
|
||||||
Archives of the list are available on the World Wide Web at URL
|
Archives of the list are available on the World Wide Web at URL
|
||||||
http://pauillac.inria.fr/csl/.
|
http://pauillac.inria.fr/caml/.
|
||||||
|
|
||||||
The Usenet news group comp.lang.ml also contains discussions about
|
The Usenet news groups comp.lang.ml and comp.lang.functional
|
||||||
the ML family of programming languages, including Caml. The newsgroup
|
also contains discussions about the ML family of programming languages,
|
||||||
is moderated.
|
including Caml.
|
||||||
|
|
||||||
BUG REPORTS AND USER FEEDBACK:
|
BUG REPORTS AND USER FEEDBACK:
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue