[Caml-list] ocamlmpi reduce_int_array, showstopper?

Hi Sylvain, Xavier, I have encountered what seems to be a serious problem with reduce_int_array in ocamlmpi, namely, in a trivial test case it successfully returns incorrect results. This is my test code -- (* ocamlopt -o test -I +ocamlmpi mpi.cmxa test.ml *) let me = Mpi.comm_rank Mpi.comm_world;

Re: [Caml-list] Create a constraint between variant type and data list

Here's a (very) quick and dirty implementation that will automatically populate data, using our dynamic typing library ( http://github.com/mirage/dyntype ). You just need to fill in desc_of_license with the matching descriptions, and data will be auto-populated at program startup. -anil -- ty

[Caml-list] [ANN] Cryptokit 1.4

Hello all, We have released a new version of cryptokit. The changes are the following: - Added Blowfish block cipher. - Added MAC functions based on HMAC construction applied to SHA-256 and RIPEMD-160. - Added OASIS and findlib support You can download it from: http://forge.ocamlcore.org/proje

[Caml-list] Re: Create a constraint between variant type and data list

Sylvain Le Gall wrote: > I would like to define: > > type license = GPL | LGPL > > and > > let data = [ GPL, "GNU Public license"; > LGPL, "GNU Lesser General Public license" ] > > I would like to enforce that all variants of license are in the > association list. In other words, yo