Re: [Caml-list] Compute the equivalence classes

2011-10-31 Thread Toby Kelsey
On 31/10/11 15:36, Ly Kim Quyen wrote: > Dear group, > > I have an question about data structure and types. I have a function > calculates > transitive closure of relation represented as an adjacency matrix > > let trans_closure (m: 'a array array) : 'a array array = > let last_cols = length m

[Caml-list] WSMBio 2012: 1st announcement

2011-10-31 Thread Carlos Martín Vide
* 2012 INTERNATIONAL WINTER SCHOOL IN METHODS IN BIOINFORMATICS WSMBio 2012 Tarragona, Spain February 20-24, 2012 Organized by: Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.gr

Re: [Caml-list] oasis, inter-dependent libraries and syntax extension

2011-10-31 Thread Philippe Veber
Sébastien's suggestion is indeed a good start but alas for me not enough. The build still fails at ocamldep time, because the library B (with the syntax extension) seems not to be taken into account. If I replace my syntax extension with some findlib package (say tyxml), the compilation works fine.

RE: [Caml-list] Standalone executable

2011-10-31 Thread Gerd Stolpmann
Am Montag, den 31.10.2011, 15:27 + schrieb David Allsopp: > Andreea Costea wrote: > > For some days now, I was searching to see if there is any way you can build > > an executable from an OCaml project, that can later be run from another > > machine that doesn't have OCaml installed on (not ev

Re: [Caml-list] oasis, inter-dependent libraries and syntax extension

2011-10-31 Thread Sebastien Mondet
Hi I ran into the same problem last week. I added a line to the _tags file after the OASIS-generated stuff: ... # OASIS_STOP : syntax_camlp4o (found in the slide 18: http://oasis.forge.ocamlcore.org/documentation.html ) Sebastien On Mon, Oct 31, 2011 at 12:23, Philippe Veber

[Caml-list] oasis, inter-dependent libraries and syntax extension

2011-10-31 Thread Philippe Veber
Hi, I have an oasis project defining three inter-dependent libraries A, B and C. B is a syntax extension, and depends on A. C depends on both A and B. I have written an _oasis file for this, which works fine if I don't use the extension in C, but fails if I do, during ocamldep (ocamldep lacks the a

Re: [Caml-list] Compute the equivalence classes

2011-10-31 Thread Kakadu
maybe let eq_class tc trans : 'a list list = let ans = (* create result matrix here *) in let lst = length m - 1 in for i = 0 to lst do for j = 0 to lst do let a = tc.(i).(j) && trans.(i).(j) in if a then ans.(i).(j) <- ... else done

[Caml-list] Compute the equivalence classes

2011-10-31 Thread Ly Kim Quyen
Dear group, I have an question about data structure and types. I have a function calculates transitive closure of relation represented as an adjacency matrix let trans_closure (m: 'a array array) : 'a array array = let last_cols = length m - 1 in for k = 0 to last_cols do for i = 0 to

RE: [Caml-list] Standalone executable

2011-10-31 Thread David Allsopp
Andreea Costea wrote: > For some days now, I was searching to see if there is any way you can build > an executable from an OCaml project, that can later be run from another > machine that doesn't have OCaml installed on (not even the runtime system). > Same type of Unix based OS, though. Compile

[Caml-list] Standalone executable

2011-10-31 Thread Andreea Costea
Dear all, For some days now, I was searching to see if there is any way you can build an executable from an OCaml project, that can later be run from another machine that doesn't have OCaml installed on (not even the runtime system). Same type of Unix based OS, though. Thanks, Andreea -- Caml-l

Re: [Caml-list] [ANN] Async, a monadic concurrency library

2011-10-31 Thread Mark Shinwell
On Sat, Oct 29, 2011 at 02:52:59AM +0200, oliver wrote: > On Wed, Oct 26, 2011 at 12:06:43PM +0100, Mark Shinwell wrote: > > On Wed, Oct 26, 2011 at 07:03:43AM -0400, Yaron Minsky wrote: > > > I'll leave Stephen to answer that one. I'm just the front-man here. > > > Stephen's the one who did all