From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA27790; Tue, 13 Nov 2001 19:13:12 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA28679 for ; Tue, 13 Nov 2001 19:13:10 +0100 (MET) Received: from relay.rinet.ru (relay.rinet.ru [195.54.192.35]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id fADID9501039 for ; Tue, 13 Nov 2001 19:13:09 +0100 (MET) Received: (from uucp@localhost) by relay.rinet.ru (8.11.6/8.11.6) with UUCP id fADID9C24931 for caml-list@inria.fr; Tue, 13 Nov 2001 21:13:09 +0300 (MSK) X-Envelope-To: caml-list@inria.fr Received: from bely.stormoff (bely) [192.168.0.10] by stormoff with esmtp (Exim 2.05 #1 (Debian)) id 163haE-0000ov-00; Tue, 13 Nov 2001 20:42:50 +0300 To: caml-list@inria.fr Subject: [Caml-list] camlidl and pointer to function From: Dmitry Bely Date: 13 Nov 2001 17:43:51 +0000 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I have a C library function with interface like following: typedef [abstract] void* SomeType; typedef int (*CallBack)(int); void convert( SomeType* in, SomeType* out, CallBack c); It would be nice to use it in caml the following way: external convert: someType->someType->(int->int)->unit = "something" ... convert stIn stOut ((+) 1) ... Unfortinately CamIDL language does not allow the pointer to function as a valid type, but maybe there is some common solution/workaround for this problem? Or the only way is writing necessary stubs and conversion functions by hands? Is is possible at all? Hope to hear from you soon, Dmitry ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr