[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

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

2012-01-16 Thread Francois Berenger
On 01/16/2012 06:54 PM, Gabriel Scherer wrote: This means that biocaml and batteries interface with different compiled versions of BatLogger. The solution is most likely to recompile on biocaml's side, so that it gets uptodate with batteries-side change. Assuming, of course, that you use

[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

[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 should

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:

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,

Re: [Caml-list] Fwd: interval trees

2012-02-15 Thread Francois Berenger
On 02/16/2012 12:21 AM, Goswin von Brederlow wrote: Francois Berengerberen...@riken.jp 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

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

Re: [Caml-list] Fwd: interval trees

2012-02-15 Thread Francois Berenger
much. E. On Wed, Feb 15, 2012 at 10:21 AM, Goswin von Brederlow goswin-...@web.de mailto:goswin-...@web.de wrote: Francois Berenger beren...@riken.jp mailto:beren...@riken.jp writes: Hello, I did a naive implementation of interval trees for float intervals

Re: [Caml-list] Fwd: interval trees

2012-02-16 Thread Francois Berenger
On 02/16/2012 07:21 PM, Gabriel Scherer wrote: I can't resist giving the usual tail-recursive CPS-transformed version (untested): Thanks! That's the technique I was looking for (Continuation Passing Style), as I may have to use this on some other algorithms in the future. let interval_tree

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).

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: [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 Adriencamarade...@gmail.com: Hi, On 08/03/2012, Sylvain Le Gallsylv...@le-gall.net wrote: Hi, 2012/3/8 Daniel Bünzlidaniel.buen...@erratique.ch: Le jeudi, 8 mars 2012 ŕ 09:31,

[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

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 Berengerberen...@riken.jp wrote: Hello, Let's say I have this section in an _oasis file: --- Executable Toto Path: src MainIs: toto.ml BuildDepends: batteries BuildTools: ocamlbuild

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

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 of

[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:

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

[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,

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 beren...@riken.jp 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

[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

[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,