caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: Richard Jones <rich@annexia.org>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Missing overflow exception message in ocamlopt
Date: Wed, 11 Oct 2006 21:25:23 +0200	[thread overview]
Message-ID: <1160594723.27599.5.camel@localhost.localdomain> (raw)
In-Reply-To: <20061011191747.GB25358@furbychan.cocan.org>

Am Mittwoch, den 11.10.2006, 20:17 +0100 schrieb Richard Jones:
> On Wed, Oct 11, 2006 at 08:03:20PM +0100, Jon Harrop wrote:
> > On Wednesday 11 October 2006 19:46, Jakob Lichtenberg wrote:
> > > When I compile the following program as byte code I see a stack overflow
> > > (expected).  When using ocamlopt it seems that the program dies and I do
> > > not see the expected overflow exception?
> > 
> > OCaml doesn't always throw the Stack_overflow exception from native code. On 
> > some systems it seg faults.
> 
> Does it _ever_ throw a Stack_overflow in native code??  I've never
> seen it.

Sometimes. Depends on the platform and how well-debugged the ocaml
runtime for the platform is. This is quite tricky because you need to
catch the segfault (that always happens), switch to an alternate stack,
and then unwind the original stack.

Gerd
-- 
------------------------------------------------------------
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany 
gerd@gerd-stolpmann.de          http://www.gerd-stolpmann.de
Phone: +49-6151-153855                  Fax: +49-6151-997714
------------------------------------------------------------


  reply	other threads:[~2006-10-11 19:25 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-10-11 18:46 Jakob Lichtenberg
2006-10-11 19:03 ` [Caml-list] " Jon Harrop
2006-10-11 19:17   ` Richard Jones
2006-10-11 19:25     ` Gerd Stolpmann [this message]
2006-10-11 20:26     ` Jon Harrop
2006-10-11 19:45   ` Jakob Lichtenberg
2006-10-12  1:04     ` Robert Roessler
2006-10-15 15:58 ` Xavier Leroy
2006-10-16  3:50   ` Jakob Lichtenberg

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1160594723.27599.5.camel@localhost.localdomain \
    --to=info@gerd-stolpmann.de \
    --cc=caml-list@yquem.inria.fr \
    --cc=rich@annexia.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).