From: Ian T Zimmerman <itz@transbay.net>
To: caml-list@inria.fr
Subject: Re: Catching Break?
Date: Mon, 25 Jan 1999 22:46:13 -0800 [thread overview]
Message-ID: <199901260646.WAA13077@kronstadt.transbay.net> (raw)
In-Reply-To: <19990126012435.21454@pauillac.inria.fr> (message from Xavier Leroy on Tue, 26 Jan 1999 01:24:35 +0100)
> Date: Tue, 26 Jan 1999 01:24:35 +0100
> From: Xavier Leroy <Xavier.Leroy@inria.fr>
> X-Gnus-Article-Number: 93 Mon Jan 25 17:11:10 1999
>
> > Why doesn't this work:
> > let main() =
> > Sys.catch_break true; try Unix.kill (Unix.getpid()) Sys.sigint
> > with Sys.Break -> prerr_endline "CAUGHT!"; exit 0
> > let _ = main()
> > This program just prints "Fatal error: Uncaught exception
> > Sys.Break" as if the try block weren't there. Am I overlooking
> > something really obvious?
> No, it's fairly subtle, actually. For various reasons related to
> the Caml runtime system, signals in OCaml are not necessarily
> handled at the program point where they are received: the signal
> handler is called only at the next "safe" program point.
> In the case of the ocamlc bytecode interpreter, "safe" program
> points are at function application and at the beginning of each loop
> iteration. So, in your example above, we leave the "try..with"
> before the handler for the signal is called, and that handler thus
> raises the Sys.Break exception outside of the "try..with".
I understand the kind of consideration which leads to deferring the
handler. I may be in the middle of a garbage collection etc.
> If you add a function call after the Unix.kill, everything should
> work as expected
When I have read your mail I thought this would be trivial to work
around. But it isn't. First it isn't that obvious what counts as
a function application. Given the functional nature of ML I'd like to
say "everything". But then I start to have doubts. What about basic
arithmetic operators for instance?
let suicide() =
Unix.kill (Unix.getpid()) Sys.sigint
let suicidal = try
begin suicide(); ~-1 end
with Sys.break -> 0
Or how about an assertion? Is "assert" just a core library symbol, or
a keyword?
let suicidal = try
begin suicide(); assert true end
with Sys.break -> ()
Finally, and more seriously, this is just a toy example. In my real
program, I need to return a _value_ from the expression that
corresponds to suicide(). I tried
let suicide() =
begin Unix.kill (Unix.getpid()) Sys.sigint; 1 end
let id x = x
let suicidal = try
(suicide(), id 0)
with Sys.break -> (0, 0)
and then
let suicidal = try
id (suicide())
with Sys.break -> 0
Neither works the way I need, although in both cases there is (in my
naive opinion) a function application between the signal and the end
of the try block.
Do I really have to use _sequencing_ to force a `safe point'? That
throws away the value from suicide(), so I'll have to invent a
reference to assign to - eeek!
--
Ian T Zimmerman <itz@transbay.net>
I came to the conclusion that what was wrong about the guillotine
was that the condemned man had no chance at all, absolutely none.
Albert Camus, _The Outsider_
next prev parent reply other threads:[~1999-01-26 17:45 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-01-25 18:43 Ian T Zimmerman
1999-01-26 0:24 ` Xavier Leroy
1999-01-26 6:46 ` Ian T Zimmerman [this message]
1999-01-28 11:14 ` Xavier Leroy
1999-01-28 17:33 ` Ian T Zimmerman
1999-02-06 8:24 ` Ian T Zimmerman
1999-02-09 7:02 ` Ian T Zimmerman
1999-02-10 15:48 ` Xavier Leroy
1999-02-05 18:00 ` Ian T Zimmerman
1999-02-08 17:16 ` Xavier Leroy
1999-01-26 5:17 Frank A. Christoph
1999-01-26 11:23 Toby Moth
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=199901260646.WAA13077@kronstadt.transbay.net \
--to=itz@transbay.net \
--cc=caml-list@inria.fr \
/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).