[Caml-list] [ANN] PG'OCaml 1.5

thank you goes out to all users and developers who've contributed to this release! Best regards, Dario Teixeira -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug

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

/random and /dev/urandom.  Windows does things differently, however. Cheers, Dario Teixeira -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr

[Caml-list] PV-GADTs

.  But is this just a present limitation or a fundamental one? type _ t1 = Foo: int t1 | Bar: float t1 type _ t2 = [ `Foo: int t2 | `Bar: float t2 ] Thanks in advance for your input! Cheers, Dario Teixeira -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws

Re: [Caml-list] PV-GADTs

Hi, The way GADTs are handled is that local constraints are generated when patterns are typed and then those constraints are used in the body of the associated clause. To generate the constraints, we need to propagate typing information. From my understanding, we can't do this with

[Caml-list] Newest Sexplib and Hashtbl

= (key_t, value_t) Hashtbl.t with sexp But with Sexplib 7.0.4 this produces an error: Error: Unbound value Hashtbl.t_of_sexp Is this a bug, or must the (de)serialisers be declared manually with the newer versions of Sexplib? Thanks in advance for your time! Best regards, Dario Teixeira