Re: [Caml-list] Problem with Arg.Tuple

2012-03-13 Thread Samuel Hornus
On Mar13, 2012, at 11:49 , Gabriel Cardoso wrote: Dear list, I have empty arguments when using Arg.Tuple with references. This minimalist example illustrates my problem : let f a b = print_endline a; print_endline b let s = ref let speclist = [( -a, Arg.Tuple [

Re: [Caml-list] ocamldoc: Howto crossreference another library?

2012-03-13 Thread Hendrik Tews
Maxence Guesdon maxence.gues...@inria.fr writes: Hendrik Tews t...@os.inf.tu-dresden.de wrote: (** Uses {!print_endline} *) let f () = print_endline Hello What do I have to do such that ocamldoc generates a crossreference to

Re: [Caml-list] Re: [oss-security] CVE request: Hash DoS vulnerability (ocert-2011-003)

2012-03-13 Thread Richard W.M. Jones
On Tue, Mar 13, 2012 at 12:58:13PM +0100, Paolo Donadeo wrote: In my humble opinion, here we have two different vision of what computer programming is, or should be. Your statement maybe it's better to assume that the programmer will not be aware of attacks may be true for the average Java

Re: [Caml-list] A js_of_ocaml equivalent for the JVM?

2012-03-13 Thread Richard W.M. Jones
On Fri, Mar 09, 2012 at 07:05:25PM +0100, fo...@x9c.fr wrote: Well, no real obstacle as OCaml-Java showed. However, OCaml-Java 1.x is still a bare proof of concept due to both poor design choices and JVM limitations. But then came Java 1.7 and some limitations were removed (e. g. a garbage

Re: [Caml-list] Very slow compilation

2012-03-13 Thread Richard W.M. Jones
On Sun, Mar 11, 2012 at 12:11:51PM +0400, SerP wrote: We encountered a problem of a slow compilation. When the project grew up, the time of compilation increased considerably. We have many classes and objects, and the type checking of objects and classes performs very slowly. I have Core i3

Re: [Caml-list] Re: [oss-security] CVE request: Hash DoS vulnerability (ocert-2011-003)

2012-03-13 Thread Dario Teixeira
Hi, Basically I like the idea of teaching users this way. The typical user will understand the impact, and act accordingly. Nevertheless, I would like it if it would be made as easy as possible to provide good seeds if required. The Random module is definitely not good enough (e.g. if you

[Caml-list] a question about ocamlopt and ocamldep

2012-03-13 Thread Matej Košík
Hi, The ocamldep tool generates Makefile dependencies for both situations: - when we use ocamlc - as well as when we use ocamlopt Dependencies, generated for *.cmo files, are corresponding *.cmi files. This is not surprising. However, dependencies, generated for *.cmx files, are always other

RE: [Caml-list] Re: [oss-security] CVE request: Hash DoS vulnerability (ocert-2011-003)

2012-03-13 Thread David Allsopp
Dario Teixeira wrote: Hi, Basically I like the idea of teaching users this way. The typical user will understand the impact, and act accordingly. Nevertheless, I would like it if it would be made as easy as possible to provide good seeds if required. The Random module is definitely

Re: [Caml-list] Re: [oss-security] CVE request: Hash DoS vulnerability (ocert-2011-003)

2012-03-13 Thread Alain Frisch
On 03/13/2012 07:27 PM, David Allsopp wrote: +1. Surely in projects where repeatability is important, the change in behaviour to randomly seeded tables would be quickly noticed The problem is that the randomization might go unnoticed if the high-level outputs of the program does not depend

[Caml-list] Parsing cmi file

2012-03-13 Thread bob zhang
Hi list, I noticed that Godi can pretty print cmi files, is there already libraries parsing cmi files? Many thanks -- -- Bob -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list:

Re: [Caml-list] Parsing cmi file

2012-03-13 Thread Gerd Stolpmann
Hi list, I noticed that Godi can pretty print cmi files, is there already libraries parsing cmi files? Yes, toplevellib.cma (i.e. the ocaml toploop). It's a silly trick. Run the toploop and do module M = NameOfTheCMI;; and the toploop responds. Gerd Many thanks -- -- Bob --

Re: [Caml-list] Parsing cmi file

2012-03-13 Thread bob zhang
Thanks. I know the dirty tricks, is there some way not that dirty? Godi did pretty printing this way? On Tue, Mar 13, 2012 at 6:36 PM, Gerd Stolpmann i...@gerd-stolpmann.de wrote: Hi list,    I noticed that Godi can pretty print cmi files, is there already libraries parsing cmi files? Yes,