[Caml-list] Re: What is CPAN? (was: Re: Hoogle for Ocaml)

2009-12-03 Thread Sylvain Le Gall
On 03-12-2009, ri...@happyleptic.org wrote: >> > (1) A network of redundant mirrors which means you can always get the >> > tarball you need, even when the original site is down: > > If I understand correctly, GODI site does not store any of the source > tarballs, but the makefiles download the so

Re: What is CPAN? (was: Re: [Caml-list] Hoogle for Ocaml)

2009-12-03 Thread rixed
> > (1) A network of redundant mirrors which means you can always get the > > tarball you need, even when the original site is down: If I understand correctly, GODI site does not store any of the source tarballs, but the makefiles download the sources directly from their respective home, does it ?

Re: What is CPAN? (was: Re: [Caml-list] Hoogle for Ocaml)

2009-12-03 Thread Gerd Stolpmann
Am Donnerstag, den 03.12.2009, 18:00 + schrieb Richard Jones: > On Thu, Dec 03, 2009 at 05:51:00PM +0100, ri...@happyleptic.org wrote: > > > Not really .. I have been meaning for several years to implement > > > something like *CPAN* for OCaml. CPAN is much more than what people > > > here s

Re: [Caml-list] Hoogle for Ocaml

2009-12-03 Thread Gerd Stolpmann
Am Donnerstag, den 03.12.2009, 18:45 + schrieb Matthias Görgens: > > This might be what you're looking for: > > http://docs.camlcity.org/docs/index.html > > Thanks. I'll try it. Does it support e.g. searching for "(a->b) -> > [a] -> [b]" and spitting out List.map? There is no search for ty

Re: [Caml-list] Hoogle for Ocaml

2009-12-03 Thread Matthias Görgens
> This might be what you're looking for: > http://docs.camlcity.org/docs/index.html Thanks. I'll try it. Does it support e.g. searching for "(a->b) -> [a] -> [b]" and spitting out List.map? Matthias. ___ Caml-list mailing list. Subscription managemen

What is CPAN? (was: Re: [Caml-list] Hoogle for Ocaml)

2009-12-03 Thread Richard Jones
On Thu, Dec 03, 2009 at 05:51:00PM +0100, ri...@happyleptic.org wrote: > > Not really .. I have been meaning for several years to implement > > something like *CPAN* for OCaml. CPAN is much more than what people > > here seem to think it is. > > Out of curiosity, what's in CPAN that's not in GOD

Re: [Caml-list] Hoogle for Ocaml

2009-12-03 Thread rixed
> Not really .. I have been meaning for several years to implement > something like *CPAN* for OCaml. CPAN is much more than what people > here seem to think it is. Out of curiosity, what's in CPAN that's not in GODI ? ___ Caml-list mailing list. Subs

Re: [Caml-list] Random questions

2009-12-03 Thread AUGER
Le Thu, 03 Dec 2009 17:01:18 +0100, Damien Doligez a écrit: On 2009-12-03, at 12:00, AUGER wrote: (* preliminary function: negate_minus_1 : int -> int : n |-> -n-1 *) let negate_minus_1 = (lor) (-(max_int/2)-1) (* or inline the constant *) You probably mean this: let negate_minus_1

Re: [Caml-list] Hoogle for Ocaml

2009-12-03 Thread Tom Hutchinson
This might be what you're looking for: http://docs.camlcity.org/docs/index.html You can search through the files in all of the GODI packages. It's not just function names and type signatures so you might get more results than you want. Tom On Dec 3, 2009, at 5:08 PM, Matthias Görgens wrot

Re: [Caml-list] Hoogle for Ocaml

2009-12-03 Thread Richard Jones
On Thu, Dec 03, 2009 at 04:08:08PM +, Matthias Görgens wrote: > Is there an equivalent to Haskell's Hoogle for Ocaml? Not really .. I have been meaning for several years to implement something like *CPAN* for OCaml. CPAN is much more than what people here seem to think it is. Rich. -- Ric

[Caml-list] Hoogle for Ocaml

2009-12-03 Thread Matthias Görgens
Hi, Is there an equivalent to Haskell's Hoogle for Ocaml? Matthias. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/gr

Re: [Caml-list] Random questions

2009-12-03 Thread Damien Doligez
On 2009-12-03, at 12:00, AUGER wrote: (* preliminary function: negate_minus_1 : int -> int : n |-> -n-1 *) let negate_minus_1 = (lor) (-(max_int/2)-1) (* or inline the constant *) You probably mean this: let negate_minus_1 = (lxor) (-1);; -- Damien

Re: [Caml-list] Random questions

2009-12-03 Thread AUGER
Le Thu, 03 Dec 2009 15:48:37 +0100, Daniel Bünzli a écrit: Hello Cedric, Thanks for your comments. Comments on your comments. let rint () = (Random.bits () lsl 1) lxor (Random.bits ());; That was actually my first version. However I dropped it because I thought that generating a new rand

Re: [Caml-list] Random questions

2009-12-03 Thread Daniel Bünzli
Hello Cedric, Thanks for your comments. Comments on your comments. > let rint () = (Random.bits () lsl 1) lxor (Random.bits ());; That was actually my first version. However I dropped it because I thought that generating a new random number by the interaction of the bits of two successive PRN co

Re: [Caml-list] Embedding the ocaml runtime in a shared library on amd64/x86_64

2009-12-03 Thread Stefano Zacchiroli
On Thu, Dec 03, 2009 at 11:56:59AM +0100, Joost Yervante Damad wrote: > Reading up on this, I don't think using -fPIC on amd64 has a performance > penalty since it has the %rip register. Also it appears that gcc by default > uses indirect addressing via %rip in the generated asm. I duly notice t

Re: [Caml-list] Embedding the ocaml runtime in a shared library on amd64/x86_64

2009-12-03 Thread Alain Frisch
Joost Yervante Damad wrote: Reading up on this, I don't think using -fPIC on amd64 has a performance penalty since it has the %rip register. Also it appears that gcc by default uses indirect addressing via %rip in the generated asm. I did some benchmarks when switching the ocamlopt AMD64 code

Re: [Caml-list] Random questions

2009-12-03 Thread AUGER
Le Wed, 18 Nov 2009 11:59:08 +0100, Daniel Bünzli a écrit: I know little about PRGN and unfortunately in a lot of cases the functions in the Random module don't provide me the right interface. Could anybody tell me if the following functions preserve the quality of the underlying PRGN and/or

Re: [Caml-list] Embedding the ocaml runtime in a shared library on amd64/x86_64

2009-12-03 Thread Joost Yervante Damad
On Wednesday 02 December 2009 23:37:51 Stefano Zacchiroli wrote: > On Wed, Dec 02, 2009 at 04:51:16PM +, Richard Jones wrote: > > On Wed, Dec 02, 2009 at 01:33:11PM +0100, Joost Yervante Damad wrote: > > > I think compiling with -fPIC by default on the amd64/x86_64 arch > > > would be a good st