Re: [Caml-list] Re: ocamlbuild + Coq

2012-05-11 Thread Romain Bardou
ot;, i.e. unexpected new files. I think I discussed this with Nicolas Pouillard at some point and he agreed it would be a nice addition. Sorry I don't have any solution though :p Cheers, -- Romain Bardou -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.i

Re: [Caml-list] Recursive polymorphic variants

2012-04-10 Thread Romain Bardou
your original example is disallowed. I think the semantic of [t|...] is just to syntactically replace t by its definition, which is not possible if the definition is not done yet. Cheers, -- Romain Bardou -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inr

Re: [Caml-list] Re: New version of the binary installer for Windows

2012-04-02 Thread Romain Bardou
Le 02/04/2012 13:14, Adrien a écrit : On 02/04/2012, Romain Bardou wrote: Le 30/03/2012 16:15, Jonathan Protzenko a écrit : Hi again, Following all the good suggestions in this thread, I've updated the installer. It now downloads and runs cygwin's setup.exe so as to provide a ful

Re: [Caml-list] Re: New version of the binary installer for Windows

2012-04-02 Thread Romain Bardou
Le 30/03/2012 16:15, Jonathan Protzenko a écrit : Hi again, Following all the good suggestions in this thread, I've updated the installer. It now downloads and runs cygwin's setup.exe so as to provide a fully working environment for OCaml on windows after the installer completes. The cygwin inst

Re: [Caml-list] Wish: mutable variant types, equivalence with records

2012-03-26 Thread Romain Bardou
pe t = Sum of pos: Lexing.position * t * t I would access the anonymous arguments using pattern-matching as usual, and use ".pos" as a shortcut sometimes. Unifying records and sums is great, unifying tuples at the same time seems even better to me. The OPA language (of Mlstate) does th

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

2012-03-13 Thread Romain Bardou
ead to DoS attacks". That being said I don't really care that much, I'm just thinking out loud here :p Cheers, -- Romain Bardou -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo

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

2012-03-13 Thread Romain Bardou
Hi, As you and Gerd said, the new Hashtbl implementation in the upcoming major release has everything needed to randomize hash tables by seeding. The question at this point is whether randomization should be the default or not: some of our big users who don't do Web stuff value reproducibility

Re: [Caml-list] [community poll for PR#5312] Do some OCaml Windows users still use the @responsefile feature?

2012-03-05 Thread Romain Bardou
I was not aware of its existence. -- Romain Bardou -- 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] LablGTK for OCaml 3.12 on Windows

2012-02-28 Thread Romain Bardou
Le 22/02/2012 15:00, Romain Bardou a écrit : Le 22/02/2012 14:56, Adrien a écrit : On 22/02/2012, Romain Bardou wrote: Here: http://old.nabble.com/LablGtk-2.14.2-td29736415.html I read that "The windows release will have to wait for a windows version of ocaml 3.12...". Will

Re: [Caml-list] LablGTK for OCaml 3.12 on Windows

2012-02-22 Thread Romain Bardou
Le 22/02/2012 14:56, Adrien a écrit : On 22/02/2012, Romain Bardou wrote: Here: http://old.nabble.com/LablGtk-2.14.2-td29736415.html I read that "The windows release will have to wait for a windows version of ocaml 3.12...". Will LablGTK be released now that OCaml 3.12.1 is av

[Caml-list] LablGTK for OCaml 3.12 on Windows

2012-02-22 Thread Romain Bardou
ocaml 3.12...". Will LablGTK be released now that OCaml 3.12.1 is available on Windows? The README.Win32 file is a little bit scary (quote: "Full compilation with MSVC or mingw (for the brave)"). Cheers, -- Romain Bardou -- Caml-list mailing list. Subscription management and arc

Re: [Caml-list] Compiling Cryptokit on Windows

2012-02-20 Thread Romain Bardou
Le 06/02/2012 18:09, Romain Bardou a écrit : Hi list, There has been some discussion during the last few months were some argued that there was not enough Windows users to test libraries. Well it happens that I need to compile Cryptokit for Windows. Here are my first results, which failed

Re: [Caml-list] Package installation assumptions made by odb

2012-02-13 Thread Romain Bardou
ocamlc". This does not work for libraries though; here there are several possibilities: - compute a hash of the .cma / .cmxa, but you need a database of hashtables -> version; - dynamically link with the .cma / .cmxa, assuming a module "Version" with a variable containing

[Caml-list] Compiling Cryptokit on Windows

2012-02-06 Thread Romain Bardou
piling now, or maybe editing "setup.ml" to put quotes around the command. Cheers, -- Romain Bardou -- 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: References and polymorphism

2012-01-12 Thread Romain Bardou
hat (local) let should not be generalized [1]. Here we are not talking about local values though. [1] Dimitrios Vytiniotis, Simon Peyton Jones and Tom Schrijvers, Let Should Not Be Generalised -- Romain Bardou -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.in

Re: [Caml-list] References and polymorphism

2012-01-10 Thread Romain Bardou
something which is not *syntactically* a value. Function foobar1 is syntactically a function, and a function is a value. Function foobar2 is not: it starts with a let-binding. It computes something before returning a function. It cannot be generalized. Cheers, -- Romain Bardou -- Caml-lis

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

2012-01-03 Thread Romain Bardou
Le 01/01/2012 17:01, syshen a ??crit : Dear All: I am writing a program that include a main loop written in Ocaml and a sub-module written in C. The main loop called the sub-module a lot, and a huge array is returned from each call. So I use the standard C-Caml interface to return these huge d

Re: [Caml-list] Generic printer patch

2011-12-08 Thread Romain Bardou
2) Could you imagine to generalize it to Format.formatter or to out_channel (without creating a string and concatenating)? Romain Bardou add in the mantis tracker (I can't give you the bugtracking number since mantis "is currently offline for maintenance") a feature wish for a

Re: [Caml-list] [ANN] Argot: 1.0 release

2011-11-04 Thread Romain Bardou
Another thing is the fixed-width layout. The width of the page is too wide. First the lines are too long which causes a readability issue: it makes it hard to read from one line to the other --- depends on the font but beyond approx. 80 chars per line it becomes hard for continuous reading. Second

Re: [Caml-list] Link a .so/.dll dynamically

2011-09-15 Thread Romain Bardou
Le 15/09/2011 11:20, Stéphane Glondu a écrit : On 09/15/2011 10:49 AM, Romain Bardou wrote: Thanks, I tried the following combinations (with the bytecode version, not the native one): -cclib -l$(DLLPATH)$(DLLNAME)$(DLLEXT) -cclib -L$(DLLPATH) -cclib -l$(DLLNAME)$(DLLEXT) -L$(DLLPATH) -cclib -l

Re: [Caml-list] Link a .so/.dll dynamically

2011-09-15 Thread Romain Bardou
Le 14/09/2011 18:56, Stéphane Glondu a écrit : On 09/14/2011 06:42 PM, Romain Bardou wrote: Thanks, this solves the "native" part of my problem ! Now I need to figure out how to link this .so file. You mean, the equivalent of dllmylib.so? There is no such file in native code: mylib

Re: [Caml-list] Link a .so/.dll dynamically

2011-09-15 Thread Romain Bardou
Le 14/09/2011 18:56, Stéphane Glondu a écrit : On 09/14/2011 06:42 PM, Romain Bardou wrote: Thanks, this solves the "native" part of my problem ! Now I need to figure out how to link this .so file. You mean, the equivalent of dllmylib.so? There is no such file in native code: mylib

Re: [Caml-list] Link a .so/.dll dynamically

2011-09-14 Thread Romain Bardou
Le 14/09/2011 18:34, Stéphane Glondu a écrit : On 09/14/2011 06:12 PM, Romain Bardou wrote: Thanks, this solves the "native" part of my problem ! Now I need to figure out how to link this .so file. You mean, the equivalent of dllmylib.so? There is no such file in native code: mylib

Re: [Caml-list] Link a .so/.dll dynamically

2011-09-14 Thread Romain Bardou
Le 14/09/2011 18:07, Stéphane Glondu a écrit : On 09/14/2011 05:56 PM, Romain Bardou wrote: [...] ocamlopt -c -ccopt -fPIC wrapper.c ocamlopt -c mylib.ml ocamlmklib wrapper.o mylib.cmx -o mylib ocamlopt -c main.ml ocamlopt dynlink.cmxa main.cmx -o main

Re: [Caml-list] Link a .so/.dll dynamically

2011-09-14 Thread Romain Bardou
ents. According to the man page, I think -ldopt passes the option not to ocamlopt but to the "shared linker" (ld ?). Thanks again for your time, -- Romain Bardou -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner&#

Re: [Caml-list] Link a .so/.dll dynamically

2011-09-14 Thread Romain Bardou
Le 14/09/2011 17:09, Benedikt Meurer a écrit : On Sep 14, 2011, at 17:00 , Romain Bardou wrote: My first problem is: I tried something similar for native code (using ocamlopt instead of ocamlc, .cmx instead of .cmo and .cmxa instead of .cma) but ocamlmklib fails with the following error

[Caml-list] Link a .so/.dll dynamically

2011-09-14 Thread Romain Bardou
ith .so files, will there be additional problems on Windows with .dll files? Thank you for your help. As you can see, I'm a little confused about those things. -- Romain Bardou -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list B