caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Olivier Andrieu <oandrieu@nerim.net>
To: Bardur Arantsson <spam@scientician.net>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Re: Help interfacing with C
Date: Fri, 18 Aug 2006 09:10:17 +0200	[thread overview]
Message-ID: <17637.26585.469953.932380@karryall.dnsalias.org> (raw)
In-Reply-To: <ec10ed$6du$1@sea.gmane.org>

 Bardur Arantsson [Thursday 17 August 2006] :
 >
 > Nathaniel Gray wrote:
 > > Hi folks,
 > [--snip--]
 > > have select work on (file_descr * 'a) pairs instead of plain file
 > > descriptors.
 > 
 > It's much easier than that; just define a conversion in OCaml:
 > 
 >     external file_descr_to_int : file_descr -> int = "%identity";
 >     external int_to_file_descr : int -> file_descr = "%identity";

That will only work on Unix: on Windows, a file_descr is not an int
but a custom block.

file_descr work fine as keys for a Hashtbl though.

-- 
   Olivier


  reply	other threads:[~2006-08-18 14:13 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-08-16 19:34 Nathaniel Gray
2006-08-17  3:49 ` [Caml-list] " malc
2006-08-18 21:00   ` Nathaniel Gray
2006-08-17  5:56 ` Bardur Arantsson
2006-08-18  7:10   ` Olivier Andrieu [this message]
2006-08-18 15:50     ` Bardur Arantsson
2006-08-18 21:33   ` [Caml-list] " Nathaniel Gray
2006-08-18 22:24     ` Bardur Arantsson
2006-08-19  0:33       ` [Caml-list] " Nathaniel Gray
2006-08-19  6:03         ` Bardur Arantsson
2006-08-21 22:45           ` [Caml-list] " Nathaniel Gray
2006-08-19  8:30         ` Olivier Andrieu
2006-08-21 22:35           ` Nathaniel Gray
2006-08-19  9:03     ` Richard Jones
2006-08-19  9:41       ` skaller
2006-08-18  8:46 ` [Caml-list] " Damien Doligez
2006-08-18 20:09   ` Nathaniel Gray
2006-08-23 23:36 ` Nathaniel Gray

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=17637.26585.469953.932380@karryall.dnsalias.org \
    --to=oandrieu@nerim.net \
    --cc=caml-list@inria.fr \
    --cc=spam@scientician.net \
    /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).