Re: [Caml-list] OCaml 3.12.1 compatibility report

2011-06-27 Thread Xavier Leroy
tand why bin_prot ends up comparing bigarrays of different layouts: is this an oversight in the test suite or a strong requirement? - Xavier Leroy -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.y

Re: [Caml-list] Nested callbacks?

2011-07-05 Thread Xavier Leroy
) Indeed, it should work, and I see no reason why nested callbacks could fail. Callbacks do save some Caml-specific state and restore it before returning, but they use the stack to do so, so they should be reentrant. Please file a bug report if you find out they are not. - Xavier Leroy --

Re: [Caml-list] Hashtbl performance

2011-07-28 Thread Xavier Leroy
ome to try the trunk sources and let me know of any problems encountered. - Xavier Leroy -- 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/bin/caml-bugs

Re: [Caml-list] The CAML Anthology

2011-07-28 Thread Xavier Leroy
hat document. Unfortunately, the LaTeX sources appear to be lost. - Xavier Leroy -- 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/bin/caml-bugs

Re: [Caml-list] Re: Great Renaming

2011-07-29 Thread Xavier Leroy
r issue is resolved before asking our network admins anything else :-) - Xavier Leroy -- 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/bin/caml-bugs

Re: [Caml-list] Val_int vs caml_copy_nativeint

2011-08-08 Thread Xavier Leroy
with the GC (declared with one of the CAMLlocal macros). If both conditions are met, your code should be all right. If it still misbehaves, feel free to post a repro case on the bug tracker http://caml.inria.fr/mantis - Xavier Leroy -- Caml-list mailing list. Subscription management and archive

[Caml-list] [Ann] Zarith

2011-08-18 Thread Xavier Leroy
ork correctly on Zarith's big integers, provided OCaml 3.12.1 or later is used. Feedback is welcome, preferably through the bug tracker at http://forge.ocamlcore.org/projects/zarith/ Enjoy, - Xavier Leroy -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.i

Re: [Caml-list] Strange crash after switching to first class modules

2011-09-29 Thread Xavier Leroy
hat partial application of fprintf? (Inline f at point of call, or eta-expand yourself.) The Printf module takes a lot of liberties with the type system (ahem), so it is one of the usual suspects in such a case. - Xavier Leroy -- Caml-list mailing list. Subscription management and archives: https

Re: [Caml-list] How to simplify an arithmetic expression ?

2011-10-02 Thread Xavier Leroy
Nipkow. "Term Rewriting and All That". http://www4.in.tum.de/~nipkow/TRaAT/ Hope this helps, - Xavier Leroy -- 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/bin/caml-bugs

Re: [Caml-list] How to write an efficient interpreter

2011-10-24 Thread Xavier Leroy
only comparisons are much faster, but you can use Patricia trees for your environments. - Compiling to bytecode is probably overkill. Hope this helps. - Xavier Leroy -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list

Re: [Caml-list] OCaml maintenance status / community fork (again)

2011-12-10 Thread Xavier Leroy
or developers to work on the Windows port(s) of OCaml and never found any. Finally, at the latest OCaml consortium meeting, the idea of splitting Camlp4 off the core distribution was floated around; volunteers to take over its maintenance would be most welcome. All right. Let me stop here and pray for

Re: [Caml-list] Some comments on recent discussions

2011-12-10 Thread Xavier Leroy
;> Maybe a translation would be sufficient ? > > I have contacted Xavier Leroy and Pierre Weis a few years ago to get > the TeX sources of the book. I didn't intend to translate from French > to English, but only, for a start, from Caml Light to Objective Caml. > Neither

Re: [Caml-list] OCaml maintenance status / community fork (again)

2011-12-12 Thread Xavier Leroy
Smaller contributions are most welcome as well, such as commenting on the PRs, testing changes, new features and release candidates, PR triaging, helping to identify the top little things to be resolved by the next release, etc. That's a much more low-key approach, but one that is more likel

Re: [Caml-list] Hashtbl and security

2011-12-30 Thread Xavier Leroy
IIRC, the Web pages for the Murmur family of hashes gives some statistical evidence that this approach works. > How to get a random number that is good enough? Hmm. /dev/random is your friend on the platforms that support it. Otherwise, there's always the Random module, but Random.se

Re: [Caml-list] Hashtbl and security

2012-01-01 Thread Xavier Leroy
On 01/01/2012 01:52 PM, Richard W.M. Jones wrote: > On Fri, Dec 30, 2011 at 06:06:26PM +0100, Xavier Leroy wrote: >> Indeed. The optional "seed" parameter to Hashtbl.create does exactly >> this in the new implementation of Hashtbl (the one based on Murmur3). > > I

Re: [Caml-list] Will the data allocated by caml_alloc be automatically freed by g arbage collector?

2012-01-03 Thread Xavier Leroy
quot; stay constant. What happens if you run your test in an infinite loop? Does memory usage (as reported by "top") stays constant or increases as a function of time? Only the latter case is really problematic. - Xavier Leroy -- Caml-list mailing list. Subscription management and

Re: [Caml-list] Custom let bindings

2012-01-22 Thread Xavier Leroy
ad (Lwt) or more general (pa_monad). Regards, - Xavier Leroy -- 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/bin/caml-bugs

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

2012-03-12 Thread Xavier Leroy
is to restrict the size of the hashtables coming from untrusted > sources. A much better fix is to replace your hash tables with references to AVL maps. Guaranteed O(log n) is the way to go for Web app developers to sleep soundly at night. Resignedly awaiting a CVE about association lists, - X

Re: [Caml-list] Association lists

2012-03-12 Thread Xavier Leroy
ey want, better use maps, indeed. The joke was that we don't need a CVE to know this, just basic algorithmic reasoning. - Xavier Leroy -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://gro

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

2012-03-14 Thread Xavier Leroy
nt: if you're in need of cryptographically-strong random data, http://forge.ocamlcore.org/projects/cryptokit/ is what you need.) - Xavier Leroy -- 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/bin/caml-bugs

Re: [Caml-list] Generating coinductive elements

2012-04-30 Thread Xavier Leroy
nt to do with your equations. HTH, - Xavier Leroy -- 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/bin/caml-bugs