Re: [Caml-list] OCaml on Android

2012-01-16 Thread Kakadu
Btw, Does anybody has experience of developing applications for Android? ocamljava or ocaml+necessitas ? Best wishes, Kakadu! On Fri, Jan 13, 2012 at 10:05 AM, Mihamina Rakotomandimby miham...@rktmb.org wrote: Hi all, I am really happy to see the existence of http://goo.gl/Pwppq I firstly

[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 Gabriel Scherer
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 Batteries's BatLogger directly instead of duplicating

[Caml-list] ICFP 2012 Call for papers

2012-01-16 Thread Wouter Swierstra
= ICFP 2012: International Conference on Functional Programming Copenhagen, Denmark, September 9 - 15, 2012 http://www.icfpconference.org/icfp2012 =

Re: [Caml-list] Netmcore problems.

2012-01-16 Thread Anders Fugmann
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hi, Thank you very much. Remounting with size=80% solved the problem. It would seem that on debian, /run/shm (which is symlinked from /dev/shm) is mounted with size=20%.. Quite conservative it would seem. Again, thanks. Anders - -- Anders Fugmann

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

2012-01-16 Thread Ashish Agarwal
Re-compile, and re-install biocaml. That should fix it. On Mon, Jan 16, 2012 at 4:28 AM, Francois Berenger beren...@riken.jpwrote: 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,

[Caml-list] writing a very basic plugin system

2012-01-16 Thread Martin DeMello
What is the best mechanism to write the following basic plugin system? Plugins should provide two functions, `usage ()` and `handle : [string] - unit`, and the main interpreter will receive args of the form `plugin-name [arg1; arg2; ...]. The problem with the main handle function below is that

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

Re: [Caml-list] writing a very basic plugin system

2012-01-16 Thread Martin DeMello
Perfect, thanks! Here's the complete working example (with help from http://caml.inria.fr/pub/docs/manual-ocaml/manual021.html#toc81): module type Plugin = sig val usage : unit - unit val handle : string list - unit end;; module A = struct let usage () = print_endline usage of A

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