Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Andrej Bauer <Andrej.Bauer@fmf.uni-lj.si>
To: Kiran Pamnany <kiran@cs.brown.edu>, caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Matching problem?
Date: Tue, 14 Aug 2007 10:02:46 +0200	[thread overview]
Message-ID: <46C161A6.9010601@fmf.uni-lj.si> (raw)
In-Reply-To: <1187024336.46c08dd0c1ea7@webmail.cs.brown.edu>

Kiran Pamnany wrote:
> ...
> begin try
>   syscall (fun () -> Unix.connect s ...
>   ...
> with
>   Unix.Unix_error(UNIX.EINPROGRESS,_,_) -> ...
>   | Unix.Unix_error(e,_,_) -> ...
>   | err -> prerr_endline (Printexc.to_string err)
> done;
> ...
> 
> The output for this is:
> 
> Unix.Unix_error(38, "connect", "")
> 
> How is this possible?

I am just guessing, but the exception handler for the second case calls 
Unix.close on line 963, which could raise a further exception that would 
not get caught. Also some of the Unix.xxx calls before the begin..try 
block could raise an exception. The odd thing is you're getting 
Unix_error(_, "connect", _), i.e., as if the actual call to Unix.connect 
causes it. By the way, isn't error 38 "function not supported"? What 
does that tell us?

Andrej


  reply	other threads:[~2007-08-14  8:01 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-08-13 16:58 Kiran Pamnany
2007-08-14  8:02 ` Andrej Bauer [this message]
2007-08-14 11:10   ` [Caml-list] " Kiran Pamnany
2007-08-14 11:26     ` malc
2007-08-14 12:57       ` Kiran Pamnany

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=46C161A6.9010601@fmf.uni-lj.si \
    --to=andrej.bauer@fmf.uni-lj.si \
    --cc=Andrej.Bauer@andrej.com \
    --cc=caml-list@yquem.inria.fr \
    --cc=kiran@cs.brown.edu \
    /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