[Caml-list] inconsistent assumptions over interface [...]

2012-01-16 Thread Francois Berenger
Hello, When I run: $> ocamlfind ocamlopt -package batteries -linkpkg -o test_logger biocaml_logger.ml test_logger.ml I get: File "test_logger.ml", line 1, characters 0-1: Error: Files biocaml_logger.cmx and /usr/local/godi/lib/ocaml/pkg-lib/batteries/batteries_uni.cmxa make incon

Re: [Caml-list] inconsistent assumptions over interface [...]

2012-01-16 Thread Francois Berenger
u use Batteries's BatLogger directly instead of duplicating the code locally (in which case you have a problem at version desynchronization). There was a local copy of batLogger.ml in my source tree. I removed it and everything works fine. Thanks! :) On Mon, Jan 16, 2012 at 10:28 AM, Francoi

[Caml-list] OASIS help : adding -pp camlp4of and camlp4.gramlib to the compilation flags

2012-01-16 Thread Francois Berenger
Hello, I'd like to preprocess some source files. Gabriel Scherer advised me to use the options mentioned in the title of this e-mail. What should I modify in an oasis project in order to add these compilation flags? I guess something should be added to the _oasis file. I did not find anything i

[Caml-list] Re: OASIS help : adding -pp camlp4of and camlp4.gramlib to the compilation flags

2012-01-16 Thread Francois Berenger
On 01/17/2012 11:51 AM, Francois Berenger wrote: Hello, I'd like to preprocess some source files. Gabriel Scherer advised me to use the options mentioned in the title of this e-mail. What should I modify in an oasis project in order to add these compilation flags? I guess something shou

Re: [Caml-list] Re: OASIS help : adding -pp camlp4of and camlp4.gramlib to the compilation flags

2012-01-17 Thread Francois Berenger
On 01/17/2012 05:32 PM, Jérémie Dimino wrote: Le mardi 17 janvier 2012 à 16:48 +0900, Francois Berenger a écrit : In fact, now I only need to use cppo to preprocess my source files. So the updated command is: ocamlfind ocamlopt -package batteries -linkpkg -o test_logger -annot -g -pp cppo

[Caml-list] Where are the OCaml logos?

2012-01-18 Thread Francois Berenger
Hello, Are there some OCaml versions of the Caml logos that can be found here: http://caml.inria.fr/resources/logos.en.html Thanks, Francois. -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/

Re: [Caml-list] Where are the OCaml logos?

2012-01-19 Thread Francois Berenger
On 01/20/2012 05:36 AM, Florent Monnier wrote: Le jeudi 19 janvier 2012 03:08:05, Francois Berenger a écrit : Hello, Are there some OCaml versions of the Caml logos that can be found here: http://caml.inria.fr/resources/logos.en.html Thanks, Francois. I have just recreated a letter O from a

[Caml-list] Fwd: interval trees

2012-02-09 Thread Francois Berenger
Original Message Subject: interval trees Date: Thu, 09 Feb 2012 17:30:21 +0900 From: Francois Berenger To: batteries-disc...@lists.forge.ocamlcore.org CC: bioc...@googlegroups.com Hello, I need to use an interval tree. Biocaml has one, batteries have imap/iset, nice! However

Re: [Caml-list] Fwd: interval trees

2012-02-14 Thread Francois Berenger
Hello, I did a naive implementation of interval trees for float intervals. It is available here: https://github.com/HappyCrow/interval-tree I wonder if it is possible to construct the trees in a tail recursive fashion. Maybe I knew how to do this when I was still at university. Regards, Fran

[Caml-list] Fwd: Re: [Batteries-devel] browsing the code while reading the doc

2012-02-14 Thread Francois Berenger
Original Message Subject: Re: [Batteries-devel] browsing the code while reading the doc Date: Wed, 15 Feb 2012 08:47:42 +0100 From: bluestorm To: Francois Berenger CC: batteries-de...@lists.forge.ocamlcore.org We delegate documentation production to the standard ocamldoc tool

Re: [Caml-list] Fwd: Re: [Batteries-devel] browsing the code while reading the doc

2012-02-15 Thread Francois Berenger
On 02/15/2012 08:20 PM, Daniel Bünzli wrote: [...] Best, Daniel P.S. With respect to the original request, I once asked to turn ocamldoc > into a full html code browser. But the wish was not granted : http://caml.inria.fr/mantis/view.php?id=4443 That's too bad. doxygen can do this, for C++

Re: [Caml-list] Fwd: interval trees

2012-02-15 Thread Francois Berenger
On 02/16/2012 12:21 AM, Goswin von Brederlow wrote: Francois Berenger writes: Hello, I did a naive implementation of interval trees for float intervals. It is available here: https://github.com/HappyCrow/interval-tree I wonder if it is possible to construct the trees in a tail recursive

Re: [Caml-list] Fwd: interval trees

2012-02-15 Thread Francois Berenger
Hello, Anyone can translate this into being tail recursive if it's possible: let rec interval_tree intervals = match intervals with [] -> Empty | _ -> let x_mid = median intervals in let left, mid, right = partition intervals x_mid in let left_list = L.sort le

Re: [Caml-list] Fwd: interval trees

2012-02-15 Thread Francois Berenger
, F. > but if they're small, it doesn't matter much. E. On Wed, Feb 15, 2012 at 10:21 AM, Goswin von Brederlow mailto:goswin-...@web.de>> wrote: Francois Berenger mailto:beren...@riken.jp>> writes: > Hello, > > I did a naive implementation

Re: [Caml-list] Fwd: interval trees

2012-02-16 Thread Francois Berenger
's remark: if non-tailrec makes your stack grow in log(n) only, there is no point in jumping through hoops to get a tail-recursive version. On Thu, Feb 16, 2012 at 3:42 AM, Francois Berenger wrote: Hello, Anyone can translate this into being tail recursive if it's possible: let re

Re: [Caml-list] Latest OCaml + Libraries on CentOS

2012-02-26 Thread Francois Berenger
On 02/26/2012 07:49 PM, David Allsopp wrote: I've comparatively recently upgraded from an embarrassingly old version of Fedora to CentOS 6.2. With only the default repositories enabled, the version of OCaml and number of packages available are a bit limited (especially compared with Fedora). Bef

Re: [Caml-list] odb questions

2012-03-07 Thread Francois Berenger
On 03/07/2012 11:37 PM, Edgar Friendly wrote: [...] > Except I don't intend odb to scale. It's hovering right around 500 lines of code, and if I can keep it around that size, I'll be happy. I don't intend odb to ever have a `odb remove foo` command Hi, Wouldn't it be possible to have 'odb re

Re: [Caml-list] Re: oasis packaging questions

2012-03-11 Thread Francois Berenger
On 03/09/2012 09:22 PM, Anil Madhavapeddy wrote: On 8 Mar 2012, at 22:26, Sylvain Le Gall wrote: 2012/3/8 Adrien: Hi, On 08/03/2012, Sylvain Le Gall wrote: Hi, 2012/3/8 Daniel Bünzli: Le jeudi, 8 mars 2012 ŕ 09:31, Sylvain Le Gall a écrit : setup.ml will be enough for me ;-) But I am bia

[Caml-list] oasis help: what to put in the _oasis file so that files are preprocessed

2012-03-15 Thread Francois Berenger
Hello, Let's say I have this section in an _oasis file: --- Executable "Toto" Path: src MainIs: toto.ml BuildDepends: batteries BuildTools: ocamlbuild --- I'd like the .ml file to be preprocessed using: -pp 'camlp4o -parser Camlp4MacroParser' What should I add in the _o

Re: [Caml-list] Re: oasis help: what to put in the _oasis file so that files are preprocessed

2012-03-21 Thread Francois Berenger
On 03/16/2012 05:19 PM, Sylvain Le Gall wrote: Hello, On 16-03-2012, Francois Berenger wrote: Hello, Let's say I have this section in an _oasis file: --- Executable "Toto" Path: src MainIs: toto.ml BuildDepends: batteries BuildTools: ocamlbuil

Re: [Caml-list] How could I implement an efficient ring buffer?

2012-04-02 Thread Francois Berenger
On 04/02/2012 11:31 PM, Hongbo Zhang wrote: Hi List, I want to implement sliding window algorithm (in place, no memory copy), I wonder whether I need to write c code. Queues are described in Chris Okasaki's book, with a functional implementation in all senses of the term. If you don't want t

Re: [Caml-list] exn vs option

2012-04-04 Thread Francois Berenger
I think there was an article about options versus exceptions in the OCaml journal. If I remember well, the exceptions were faster, but I can't find back the exact benchmark and context of this assertion. Regards, F. On 04/05/2012 07:10 AM, Julien Verlaguet wrote: 2 more use cases: 1) When wri

Re: [Caml-list] [ANN] Boolean expression simplifier library

2012-04-18 Thread Francois Berenger
Hello, I'm curious, what is it used for? Is it for people doing proof checkers or things like this? Thanks, F. On 04/19/2012 07:26 AM, "Markus W. Weißmann" wrote: Hi, I'd like to announce the first public release of the 'boolean expression simplifier' library "bes". It is an implementation

[Caml-list] Kendall tau in OCaml

2012-04-19 Thread Francois Berenger
Hello, Is there some Kendall tau implementation out there in OCaml? I'm looking for something with better complexity than N^2, if that's possible, as I have a lot of points... Regards, F. -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml

Re: [Caml-list] lag when using typerex

2012-05-08 Thread Francois Berenger
On 05/08/2012 08:10 PM, Daniel Bünzli wrote: Is it just me or is there a significant lag when using TypeRex in Emacs? This is particularly noticeable when deleting by using the backspace key. Here, the lag was due to auto complete mode. Don't invoke it automatically. That's what I have : I

Re: [Caml-list] lag when using typerex

2012-05-08 Thread Francois Berenger
On 05/09/2012 06:44 AM, Daniel Bünzli wrote: In fact there is another source of lag on osx, syntax highlighting. It lags for me and I'm on Ubuntu. I guess syntax highlighting was the problem for me. https://github.com/OCamlPro/typerex/issues/2#issuecomment-4537263 I just use ocaml's emacs-mo

[Caml-list] Setting up donations for OASIS and odb.ml

2012-05-08 Thread Francois Berenger
Hello, How about setting up a donate button to each of these projects? I would personally like to give some of my pocket money to both of these projects and I am sure I am not the only one in this situation. Also, these two projects look very important for a wider adoption of OCaml. Regards, F.

Re: [Caml-list] Re: Setting up donations for OASIS and odb.ml

2012-05-09 Thread Francois Berenger
On 05/09/2012 08:27 PM, Sylvain Le Gall wrote: Hi, 2012/5/9 Francois Berenger mailto:beren...@riken.jp>> Hello, How about setting up a donate button to each of these projects? I would personally like to give some of my pocket money to both of these projects and I am sur

[Caml-list] Any tool for unit tests as comments in OCaml source?

2012-05-14 Thread Francois Berenger
Hello, What's the gold standard in OCaml to have unit test as comments in source code in order for a tool to automatically extract them and generate a test suite? Thanks, F. -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner'

[Caml-list] Any library for reading/writing compressed files?

2012-05-14 Thread Francois Berenger
Hello, What's the gold standard in OCaml to read/write compressed files? I found this: http://forge.ocamlcore.org/projects/camlzip/ Wouldn't it be possible that the Marshall module had an option to allow compression of the marshalled values? Or is there a simple way to achieve this? Thanks, F.