Previous week   Up   Next week

Here is the latest Caml Weekly News, week 19 to 26 march, 2002. 

1) Weak Hash table
2) New Ensemble release, 1.35
3) ant V0.3pre

1) Weak Hash table
Rémi Vanicat announced:


I've just done a weak hash table that is a map (differently to the    
weak hash table one can found in the ocaml cvs, which is a set).

it can be found there :

There is some documentation and the semantic is as follow : find will
return you something for a key that has been previously add only if
both the key and the data are still alive. If either the key or the
data have been freed, then find won't find it.

The main problem is that multi add of binding from the same key will
hide the new binding or the old one, depending of garbage

2) New Ensemble release, 1.35
Ohad Rodeh announced:

  A new Ensemble release is now available. As usual, the sources, documentation,
and pre-compiled binaries for windows and linux can be downloaded from
the system's site at

Ensemble is a group-communication system built in ML, and enjoying performance
equal or superior to similar systems built in C. It also features an extensive C
The system was built in Cornell and the Hebrew universities.

As an aside to recent discussions on the list, I'd be very happy if Caml libraries
were shared libraries, and if exported interfaces (mli) were binary-compatible across
changes in the library internals.

Below the release notes are attached.


     RELEASE_NOTES  for Ensemble version 1.35

 1. Added a "local" stack, which simply adds property local to vsync.

2. Some slight typing changes in the Hsys module, requested by Roy Friedman.  

3. Removed spurious logical-time in outboard mode (HOT). This improves
   line-utilization for HOT applications using outboard mode.

4. Added outboard mode to CE. This allows using Ensemble through a
   server and a thin client library. This is a step forward in the
   rewrite of the HOT interface. Eventually, we intend to completely
   replace it with CE, using a thin overlay layer to mimic HOT semantics.

5. make depend now works on WIN32. The make sequence is now on all platforms:
    for bytecode:
      make depend
      make all
    for optimized code:
      make depend
      make opt

6. Added staggering to the Suspect and Stability layers. This means
   that instead of a flood of messages sent when suspicions and
   stability information is computed, such events are scattered.  This
   prevents implosion at the group leader. This was suggested by Roy Friedman.

7.  Several small bug fixes and cleanup.

  We are using version 3.04 for this version.

  This version was tested on Linux, and WIN2000.

3) ant V0.3pre
Achim Blumensath announced:


I've uploaded a prerelease of ant V0.3 to my home page:

The only difference to version 0.2 is that I rewrote ant in OCaml.

What is ant? ant is not TeX. It is (or rather: might become) a OCaml-
based replacement for TeX aiming not at complete compatibility but instead
at flexibility and a clean design.

The present release is a barely functional pre-alpha prototype intended as
a base for discussion and test-bench for new typesetting algorithms. Don't
even try to run it on normal TeX documents.


Alan Schmitt