Re: [Caml-list] OCaml 3.11.0 release candidate
In the CYGWIN32, SUPPORT_DYNAMIC_LINKING version of 3.11.0+rc1, file unix.c has the following lines: 178: return flexdll_dlopen(libname, flags); 193: return flexdll_dlsym(flexdll_dlopen(NULL,0,1), name); My version of gcc is extremely unhappy about line 193 [and says so loudly by quitting], since it corresponds to a call to flexdll_dlopen with an incorrect number of parameters. Jacques ___ 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/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] OCaml 3.11.0 release candidate
Le 25 nov. 08 à 18:09, Damien Doligez a écrit : Dear OCaml users, We are closing in on version 3.11.0. A Release Candidate is now available. If there are no show-stoppers in this RC, then 3.11.0 will be officially released next week. The release candidate is available here: http://caml.inria.fr/pub/distrib/ocaml-3.11/ (look for 3.11.0+rc1) As usual, we need a few brave souls to try and install it on their favourite architecture and report the result to me. Definitely not a show-stopper but I am quite puzzled by the semantics of the newly-introduced Printexc.get_backtrace function (and hence also by Printexc.print_backtrace). Things are not pleasant to me regarding programs involving multiple threads. By using Printexc.get_backtrace one may get an exception raised in another thread. In the following program, there is no guarantee that the two print expressions will output coherent results: the backtrace printed may be the one of an exception thrown by another thread. try (...) with e - print_endline (Printexc.to_string e); print_endline (Printexc.get_backtrace ()) Of course, coherence could be ensured by using a lock/mutex but I find the solution heavyweight (and even in some cases tricky because of existing synchronization). Another option (involing changes to the OCaml runtime) would be to attach each backtrace to either its exception or to its thread. Am I wrong ? Is the problem of no practical importance ? Any comment or correction is very welcome to enlighten me. Xavier Clerc ___ 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/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] OCaml 3.11.0 release candidate
Hello, On Nov 25, 2008, at 12:09 PM, Damien Doligez wrote: Dear OCaml users, We are closing in on version 3.11.0. A Release Candidate is now available. If there are no show-stoppers in this RC, then 3.11.0 will be officially released next week. The release candidate is available here: http://caml.inria.fr/pub/distrib/ocaml-3.11/ (look for 3.11.0+rc1) I have a question about the behavior of camlp4orf (and family) in 3.11.0. Now with the availability of native dynlink, it seems like camlp4orf and camlp4orf.opt can load external modules inside the core. If one looks at their respective help: file.(cmo|cma) Load this module inside the Camlp4 core file.cmx Load this module inside the Camlp4 core This is a feature I've been looking for to speedup compilation times. However, if I try the native version, here is what I get: samson:src andres$ camlp4orf.opt poyExtension.cmx Error: don't know what to do with poyExtension.cmx Use option -help for usage Is the usage different for the camlp4*.opt preprocessors? best, Andres As usual, we need a few brave souls to try and install it on their favourite architecture and report the result to me. Happy hacking, -- Damien Doligez for the OCaml team. ___ 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/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs ___ 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/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] OCaml 3.11.0 release candidate
On Wed, Nov 26, 2008 at 11:29:04PM +0100, Stéphane Glondu wrote: Richard Jones wrote: Two camlp4 packages so far have given this error message, which is new since I tried 3.11.0+beta1: You mean two packages using camlp4, don't you? As it turns out, many packages using camlp4. File _none_, line 1, characters 0-1: Error: Error while linking /usr/lib/ocaml/camlp4/camlp4lib.cma(Camlp4): Reference to undefined global `Dynlink' That's probably a fix to be done in the packages using camlp4. See: http://caml.inria.fr/mantis/view.php?id=4568 Maybe it should be documented as a can possibly break existing code (actually, Makefiles) in the Changes file...? So as I understand this, every package which uses camlp4lib.cma has to be changed to add 'dynlink.cma' before camlp4lib.cma? Rich. -- Richard Jones Red Hat ___ 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/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] OCaml 3.11.0 release candidate
Damien Doligez wrote: We are closing in on version 3.11.0. A Release Candidate is now available. The release candidate is available here: http://caml.inria.fr/pub/distrib/ocaml-3.11/ The documentation for 3.11 is also available from the same place. The HTML manual can be browsed online at http://caml.inria.fr/pub/docs/manual-ocaml-311/index.html Enjoy, - Xavier Leroy ___ 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/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] OCaml 3.11.0 release candidate
On Nov 26, 2008, at 12:38 PM, Andres Varon wrote: On Nov 26, 2008, at 12:05 PM, Xavier Leroy wrote: So far our tests have compiled and run successfully in most platforms [1] excepting Windows 64 bits (but it's the first time I attempt to compile in this architecture). I am getting this error message: There are two problems with Windows 64 that I forgot to fix before this RC1 release; this is one of them. A patch is available at http://gallium.inria.fr/~xleroy/ocaml-3.11rc1-win64.patch Thanks. This time the compilation went further, but failed with the errors below. Answering myself, the problem is my own specification of the cl command line. Shouldn't have added those /I options. Clearly I'm not comfortable in this environment ... best, Andres [EMAIL PROTECTED] ~/ocaml-3.11.0+rc1 $ make -f Makefile.nt world make[1]: Entering directory `/home/andres/ocaml-3.11.0+rc1/stdlib' make[1]: Nothing to be done for `all'. make[1]: Leaving directory `/home/andres/ocaml-3.11.0+rc1/stdlib' for i in win32unix systhreads str num win32graph dynlink bigarray; do make -f Ma kefile.nt -C otherlibs/$i all; done make[1]: Entering directory `/home/andres/ocaml-3.11.0+rc1/ otherlibs/win32unix' cl /nologo -D_CRT_SECURE_NO_DEPRECATE /I 'C:/Program Files/ Microsoft Platform SD K/Include/crt' /I 'C:/Program Files/Microsoft Platform SDK/ Include' /Ox /MD -I. ./../byterun -I../unix -c accept.c accept.c accept.c(58) : error C2146: syntax error : missing ';' before identifier 'fd' make[1]: *** [accept.obj] Error 2 make[1]: Leaving directory `/home/andres/ocaml-3.11.0+rc1/otherlibs/ win32unix' make[1]: Entering directory `/home/andres/ocaml-3.11.0+rc1/ otherlibs/systhreads' cl /nologo -D_CRT_SECURE_NO_DEPRECATE /I 'C:/Program Files/ Microsoft Platform SD K/Include/crt' /I 'C:/Program Files/Microsoft Platform SDK/ Include' /Ox /MD -I. ./../byterun -c win32.c win32.c win32.c(217) : error C2037: left of 'mutex' specifies undefined struct/union 'ch annel' win32.c(225) : error C2037: left of 'mutex' specifies undefined struct/union 'ch annel' win32.c(228) : error C2037: left of 'mutex' specifies undefined struct/union 'ch annel' win32.c(231) : error C2037: left of 'mutex' specifies undefined struct/union 'ch annel' win32.c(231) : error C2198: 'WaitForSingleObject' : too few arguments for call t hrough pointer-to-function win32.c(236) : error C2037: left of 'mutex' specifies undefined struct/union 'ch annel' win32.c(236) : warning C4022: 'WaitForSingleObject' : pointer mismatch for actua l parameter 1 win32.c(236) : error C2198: 'WaitForSingleObject' : too few arguments for call t hrough pointer-to-function win32.c(248) : error C2037: left of 'mutex' specifies undefined struct/union 'ch annel' win32.c(248) : error C2198: 'ReleaseMutex' : too few arguments for call through pointer-to-function win32.c(328) : error C2065: 'caml_channel_mutex_free' : undeclared identifier win32.c(328) : warning C4047: '=' : 'int' differs in levels of indirection from 'void (__cdecl *)(channel *)' win32.c(329) : error C2065: 'caml_channel_mutex_lock' : undeclared identifier win32.c(329) : warning C4047: '=' : 'int' differs in levels of indirection from 'void (__cdecl *)(channel *)' win32.c(330) : error C2065: 'caml_channel_mutex_unlock' : undeclared identifier win32.c(330) : warning C4047: '=' : 'int' differs in levels of indirection from 'void (__cdecl *)(channel *)' win32.c(331) : error C2065: 'caml_channel_mutex_unlock_exn' : undeclared identif ier win32.c(331) : warning C4047: '=' : 'int' differs in levels of indirection from 'void (__cdecl *)(void)' make[1]: *** [win32_b.obj] Error 2 make[1]: Leaving directory `/home/andres/ocaml-3.11.0+rc1/otherlibs/ systhreads' make[1]: Entering directory `/home/andres/ocaml-3.11.0+rc1/ otherlibs/str' cl /nologo -D_CRT_SECURE_NO_DEPRECATE /I 'C:/Program Files/ Microsoft Platform SD K/Include/crt' /I 'C:/Program Files/Microsoft Platform SDK/ Include' /Ox /MD -I. ./../byterun -c strstubs.c strstubs.c strstubs.c(294) : warning C4047: 'initializing' : 'backtrack_stack *' differs in levels of indirection from 'int' strstubs.c(345) : error C2065: 'res' : undeclared identifier strstubs.c(346) : error C2143: syntax error : missing ';' before 'type' strstubs.c(347) : error C2143: syntax error : missing ';' before 'type' strstubs.c(348) : error C2143: syntax error : missing ';' before 'type' strstubs.c(349) : error C2143: syntax error : missing ';' before 'type' strstubs.c(351) : error C2065: 'n' : undeclared identifier strstubs.c(352) : error C2065: 'i' : undeclared identifier strstubs.c(353) : error C2065: 'group' : undeclared identifier strstubs.c(353) : warning C4047: '=' : 'int' differs in levels of indirection fr om 're_group *' strstubs.c(354) : error C2223: left of '-start' must point to struct/union strstubs.c(354) : error C2223: left of '-end' must point to struct/ union strstubs.c(358) :
Re: [Caml-list] OCaml 3.11.0 release candidate
On Nov 26, 2008, at 12:05 PM, Xavier Leroy wrote: So far our tests have compiled and run successfully in most platforms [1] excepting Windows 64 bits (but it's the first time I attempt to compile in this architecture). I am getting this error message: There are two problems with Windows 64 that I forgot to fix before this RC1 release; this is one of them. A patch is available at http://gallium.inria.fr/~xleroy/ocaml-3.11rc1-win64.patch The CVS release branch contains this fix. The patch was successful and OCaml has compiled cleanly. best, Andres Regards, - Xavier Leroy ___ 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/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs