[Caml-list] Objective Caml 3.02 released

[Caml-list] Objective Caml 3.02 released

[Xavier Leroy]

A must-have for your summer vacations: version 3.02 of the Objective
Caml system, now available from the usual places:

        http://caml.inria.fr/ocaml/distrib.html
        ftp://ftp.inria.fr/lang/caml-light/

This is essentially a bug-fix release (see detailed list below).

For general info on Objective Caml, see http://caml.inria.fr.  Bug
reports go to caml-bugs@inria.fr, questions to caml@inria.fr,
and general discussions to the mailing-list caml-list@inria.fr or the
comp.lang.ml or comp.lang.functional newsgroups.

- Xavier Leroy, for the Objective Caml team.


Objective Caml 3.02:
--------------------

Both compilers:
- Fixed embarrassing bug in pattern-matching compilation
  (affected or-patterns containing variable bindings).
- More optimizations in pattern-matching compilation.

Byte-code compiler:
- Protect against VM stack overflow caused by functions with many local
  variables.

Native-code compiler:
- Removed re-sharing of string literals, causes too many surprises with 
  in-place string modifications.
- Corrected wrong compilation of toplevel "include" statements.
- Fixed bug in runtime function "callbackN_exn".
- Signal handlers receive the conventional signal number as argument
  instead of the system signal number (same behavior as with the
  bytecode compiler).
- ARM port: fixed issue with immediate operand overflow in large functions.

Toplevel environment:
- User-definer printers (for #install_printer) now receive as first argument
  the pretty-printer formatter where to print their second argument.
  Old printers (with only one argument) still supported for backward
  compatibility.

Standard library:
- Module Hashtbl: added Hashtbl.fold.

Other libraries:
- Dynlink: better error reporting in add_interfaces for missing .cmi files.
- Graphics: added more drawing functions (multiple points, polygons,
    multiple lines, splines).
- Bytecode threads: the module Unix is now thread-safe, ThreadUnix is
    deprecated.  Unix.exec* now resets standard descriptors to blocking mode.
- Native threads: fixed a context-switch-during-GC problem causing
    certain C runtime functions to fail, most notably input_value.
- Unix.inet_addr_of_string: call inet_aton() when available so as to
    handle correctly the address 255.255.255.255.
- Unix: added more getsockopt and setsockopt functions to get/set
    options that have values other than booleans.
- Num: added documentation for the Big_int module.

Tools:
- ocamldep: fixed wrong dependency issue with nested modules.

Run-time system:
- Removed floating-point error at start-up on some non-IEEE platforms
  (e.g. FreeBSD prior to 4.0R).
- Stack backtrace mechanism now works for threads that terminate on
  an uncaught exception.

Auto-configuration:
- Updated config.guess and config.sub scripts, should recognize a greater
  number of recent platform.

Windows port:
- Fixed broken Unix.waitpid.  Unix.file_descr can now be compared or hashed.
- Toplevel application: issue with spaces in name of stdlib directory fixed.

MacOS 9 port:
- Removed the last traces of support for 68k

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] Objective Caml 3.02 released

[Xavier Leroy]

> What happened to the Haskell-like infix notation, which had been in the CVS
> until 27/07 ?

We (the Caml development team) realized a bit late that there was a
divergence of opinions on the exact semantics of these infixes, and
could not reach an agreement by the time of the 3.02 release.
(Distributed consensus is notoriously hard, but even more so when
participants take vacations at different times :-)  So, that will have
to wait for 3.03.

- Xavier Leroy
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] Objective Caml 3.02 released

[Daniel de Rauglaudre]

Camlp4 3.02 ok
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] Objective Caml 3.02 released

[Jeremy Fincher]

I can't get this or 3.01 to compile under cygwin -- it does fine until it
starts using boot/ocamlrun, which doesn't exist.  boot/ocamlc and
boot/ocamllex exist, but there is no boot/ocamlrun.  Anyone have any ideas
why?

Thanks,
Jeremy
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

RE: Re[2]: [Caml-list] Objective Caml 3.02 released

[Frank Atanassow]

I had no problems installing 3.02 (dunno about 3.01) under Cygwin. If I were
to hazard a guess, then I would say you ran into a problem because you ran
`make installopt' after `make install'. This is not necessary since the
makefile automatically runs the former when you run the latter if ocamlopt
exists. Just make all the executables you need, then install.

---
Frank Atanassow, Information & Computing Sciences, Utrecht University
Padualaan 14, PO Box 80.089, 3508TB Utrecht, The Netherlands
Tel +31 (0)30 253-3261 Fax +31 (0)30 251-3791

> -----Original Message-----
> From: owner-caml-list@pauillac.inria.fr
> [mailto:owner-caml-list@pauillac.inria.fr]On Behalf Of Stephan Tolksdorf
> Sent: Tuesday, July 31, 2001 15:17
> To: Jeremy Fincher
> Cc: caml-list@inria.fr
> Subject: Re[2]: [Caml-list] Objective Caml 3.02 released
>
>
> > I can't get this or 3.01 to compile under cygwin -- it does
> fine until it
> > starts using boot/ocamlrun, which doesn't exist.  boot/ocamlc and
> > boot/ocamllex exist, but there is no boot/ocamlrun.  Anyone
> have any ideas
> > why?
>
> 3.01 works for me (latest Cygwin, Win2000)
> with the following steps:
> 1) Start Cygwin Bash Shell
> 2) Change into the OCaml src directory:
>    e.g. "cd /cygdrive/d/development/src/ocaml-3.02"
> 3) "./configure"
> 4) "make world"
> 5) "make install"
> Optionally:
> 6) "make ocamlopt"
> 6) "make installopt"
>
> When trying to install ocamlopt for 3.02 the following error occurs:
> $ make installopt
> cd asmrun; make install
> make[1]: Entering directory
> `/cygdrive/d/development/src/ocaml-3.02/asmrun'
> cp libasmrun.a /usr/local/lib/ocaml/libasmrun.a
> cp: cannot stat `libasmrun.a': No such file or directory
> make[1]: *** [install-default] Error 1
> make[1]: Leaving directory `/cygdrive/d/development/src/ocaml-3.02/asmrun'
> make: *** [installopt] Error 2

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re[2]: [Caml-list] Objective Caml 3.02 released

[Stephan Tolksdorf]

> I can't get this or 3.01 to compile under cygwin -- it does fine until it
> starts using boot/ocamlrun, which doesn't exist.  boot/ocamlc and
> boot/ocamllex exist, but there is no boot/ocamlrun.  Anyone have any ideas
> why?

3.01 works for me (latest Cygwin, Win2000)
with the following steps:
1) Start Cygwin Bash Shell
2) Change into the OCaml src directory:
   e.g. "cd /cygdrive/d/development/src/ocaml-3.02"
3) "./configure"
4) "make world"
5) "make install"
Optionally:
6) "make ocamlopt"
6) "make installopt"

When trying to install ocamlopt for 3.02 the following error occurs:
$ make installopt
cd asmrun; make install
make[1]: Entering directory `/cygdrive/d/development/src/ocaml-3.02/asmrun'
cp libasmrun.a /usr/local/lib/ocaml/libasmrun.a
cp: cannot stat `libasmrun.a': No such file or directory
make[1]: *** [install-default] Error 1
make[1]: Leaving directory `/cygdrive/d/development/src/ocaml-3.02/asmrun'
make: *** [installopt] Error 2

Regards,
  Stephan

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

[Caml-list] Question about ocamlidl

[Friedman Roy]

Hi,

Can the OCaml IDL compiler be used in Unix environments that do not
support (D)COM? Does it still generate usable stubs and proxies that can
be used to interface C (or other languages) and OCaml?

Thanks,

Roy

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] Question about ocamlidl

[Xavier Leroy]

> Can the OCaml IDL compiler be used in Unix environments that do not
> support (D)COM? Does it still generate usable stubs and proxies that can
> be used to interface C (or other languages) and OCaml?

Yes.  The stub code generated from CamlIDL input files is independent
of COM and work under Unix just as well as under Windows.

(The only caveat is IDL "interface" declarations: they are mapped
to pseudo-objects that can be used portably from C, but can only be
used from C++ if the layout of these pseudo-objects happen to match
those of C++ objects; CamlIDL ensures this for Windows and for gcc 2
under Unix, but I haven't tested with gcc 3.  But if you don't use
interface declarations, or don't use C++, there should be no problems.)

The only parts of CamlIDL that are really dependent upon the COM
runtime are the functions Com.create_instance and Com.register_factory.
These are available only under Windows.

- Xavier Leroy
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr