Re: [Caml-list] Native code stack overflow detection guarantees

2010-07-09 Thread Mark Shinwell
On Thu, Jul 08, 2010 at 08:59:30PM -0400, Michael Ekstrand wrote: Therefore, I am wondering: are there documented guarantees on which the native code stack overflow behavior rests? Linux processes usually receive a segmentation fault when they run out of stack space; is that guaranteed, or is

Re: [Caml-list] Static exception analysis or alternative to using exceptions

2010-05-27 Thread Mark Shinwell
On Thu, May 27, 2010 at 09:54:29AM +0100, David Allsopp wrote: Florent Ouchet wrote: Same here, specially to avoid the Not_found exception. The optional return values gives the oportunity to have a clear view of what is being done if the result is not available. Agreed - though [find] is

Re: [Caml-list] Rewriting the Digest module causes linking errors

2010-03-17 Thread Mark Shinwell
On Wed, Mar 17, 2010 at 09:27:30AM +0100, Goswin von Brederlow wrote: I want to rewrite the Digest module to expose a more lowlevel interface to the md5 digest and add support to digest Bigarrays. I've patched the respective files involved and it all looks alright but when I try to build ocaml

Re: [Caml-list] [newbie] miscellaneous on installation and web site

2010-03-01 Thread Mark Shinwell
On Mon, Mar 01, 2010 at 02:07:45PM +0100, Marco Maggi wrote: I think I successfully compiled ocaml-3.11.2 on my i686-pc-linux-gnu, but there seems to be no way to install the package in a temporary location via the Linux de facto standard DESTDIR environment variable; is there a

Re: [Caml-list] Debugging C and OCaml

2010-03-01 Thread Mark Shinwell
On Mon, Mar 01, 2010 at 10:10:44AM -0500, Jianzhou Zhao wrote: My main program is C++. It uses C functions to call OCaml functions, and these OCaml functions also call C functions and wrapped C++ functions sometimes. I can debug from C++, but it stops when it meets an OCaml binding. Does

Re: [Caml-list] Debugging C and OCaml

2010-03-01 Thread Mark Shinwell
On Mon, Mar 01, 2010 at 08:24:32PM +0100, ri...@happyleptic.org wrote: -[ Mon, Mar 01, 2010 at 03:19:41PM +, Mark Shinwell ] That said, ocamlopt-compiled assembly code is fairly easy to read, and you should be able to get something resembling a backtrace using where. What's

Re: [Caml-list] Debugging C and OCaml

2010-03-01 Thread Mark Shinwell
On Mon, Mar 01, 2010 at 07:52:01PM -0500, Jianzhou Zhao wrote: It seems that OCaml runtime is interpreting via 'caml_interprete' the OCaml function which C calls at runtime. If this is true, we cannot really debug that OCaml function, but we can see how it is interpreted. But I guess we

Re: [Caml-list] Debugging C and OCaml

2010-03-01 Thread Mark Shinwell
On Mon, Mar 01, 2010 at 07:48:56PM -0500, Jianzhou Zhao wrote: On Mon, Mar 1, 2010 at 10:19 AM, Mark Shinwell mshinw...@janestreet.com wrote: I compiled OCaml code into *.o by 'ocamlc -custom -output-obj...', and then linked it with *.o from C and C++ code. I think this isnt a native

Re: [Caml-list] How to add a non-standard static c library to ocaml project

2009-12-29 Thread Mark Shinwell
On Tue, Dec 29, 2009 at 10:55:49AM -0500, lin hong wrote: I'm struggling with this for few days. We have a static C library, instead of libsomename.a, it's somename.a, so we could not link it in the usually way like -lsomename. In myocamlbuild.ml, I did try to add it's head files dir into

Re: [Caml-list] linking errors involving cpp files

2009-12-15 Thread Mark Shinwell
On Tue, Dec 15, 2009 at 08:50:33AM -0500, Aaron Bohannon wrote: On Tue, Dec 15, 2009 at 1:59 AM, Robert Roessler roess...@rftp.com wrote: Aaron Bohannon wrote: How do I link C++ code with OCaml? You might try (when mixing C++ and OCaml) wrapping the whole thing in an 'extern C {...}'

Re: [Caml-list] Threads?

2009-04-23 Thread Mark Shinwell
On Thu, Apr 23, 2009 at 12:37:14AM -0700, David McClain wrote: It's been about 5 years since I faced this situation. I'm trying to link my program against the Thread module. Things go well until I do the ocamlopt compilation, then it aborts the make with the message: ocamlfind ocamlopt

Re: [Caml-list] ocamlopt debugging options

2009-04-23 Thread Mark Shinwell
On Thu, Apr 23, 2009 at 12:30:31PM +0200, Alexey Rodriguez wrote: Sometimes it is useful to see what is the code produced by ocamlopt in order to assess the performance of programming constructs. It is possible to use -dcmm, but it is difficult to relate ocaml functions to their compiled form

Re: [Caml-list] Threads performance issue.

2009-02-17 Thread Mark Shinwell
On Tue, Feb 17, 2009 at 08:40:11AM +0100, Rémi Dewitte wrote: I have made some further experiments. I have a functional version of the reading algorithm. I have the original imperative version of the algorithm. Either it is linked to thread (T) or not (X). Either it uses extlib (E) or not

Re: [Caml-list] Re: Threads performance issue.

2009-02-17 Thread Mark Shinwell
On Tue, Feb 17, 2009 at 10:07:05AM +, Sylvain Le Gall wrote: On 17-02-2009, Rémi Dewitte r...@gide.net wrote: You are using input_char and standard IO channel. This is a good choice for non-threaded program. But in your case, I will use Unix.read with a big buffer (32KB to 4MB) and change

Re: [Caml-list] problem installing janestreet core through godi

2008-10-22 Thread Mark Shinwell
On Tue, Oct 21, 2008 at 04:22:09PM -0400, Markus Mottl wrote: 2008/10/21 Ashish Agarwal [EMAIL PROTECTED]: I am having trouble installing JaneStreet's Core library through godi. On Mac OS X, it fails while installing the prerequisite bin-prot: ... ocamlfind ocamlc -package type-conv -c

Re: [Caml-list] What does Jane Street use/want for an IDE? What about you?

2008-10-20 Thread Mark Shinwell
On Mon, Oct 20, 2008 at 09:19:40AM -0400, Kuba Ober wrote: I have questions to the kind folks at Jane Street, and others who use OCaml for commercial/non-research development: what do you guys use for your development environment? vim in an xterm for me :) What are killer features you dream

Re: [Caml-list] Could not get a file descriptor referring to the console

2008-08-21 Thread Mark Shinwell
On Thu, Aug 21, 2008 at 02:42:43PM +0200, Luc Maranget wrote: /usr/bin/open (?) ...which exists on Mac OS X. Mark ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: