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 RAA13151; Tue, 6 Mar 2001 17:47:19 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA13301 for ; Tue, 6 Mar 2001 17:47:18 +0100 (MET) Received: from mail.mimuw.edu.pl (pm60.warszawa.cvx.ppp.tpnet.pl [213.76.108.60]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f26Gl4b29911 for ; Tue, 6 Mar 2001 17:47:17 +0100 (MET) Received: (from news@localhost) by mail.mimuw.edu.pl (PLD/8.9.3) id RAA29319 for caml-list@inria.fr; Tue, 6 Mar 2001 17:48:27 +0100 X-Authentication-Warning: qrnik.zagroda: news set sender to qrczak@knm.org.pl (Marcin 'Qrczak' Kowalczyk) using -f From: qrczak@knm.org.pl (Marcin 'Qrczak' Kowalczyk) Subject: Re: [Caml-list] dynamically loading C functions Date: 6 Mar 2001 16:48:23 GMT Organization: Klub Nieszkodliwych =?iso-8859-2?Q?Manjak=F3w?= Message-ID: References: <4.3.2.7.2.20010304235205.00dea6a0@shell16.ba.best.com> <4.3.2.7.2.20010305164831.00e2cd60@shell16.ba.best.com> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-2 Content-Transfer-Encoding: 8bit X-Trace: qrnik.zagroda 983897303 29300 192.168.0.1 (6 Mar 2001 16:48:23 GMT) X-Complaints-To: news@qrnik.zagroda NNTP-Posting-Date: 6 Mar 2001 16:48:23 GMT User-Agent: slrn/0.9.6.3 (Linux) To: caml-list@inria.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Mon, 05 Mar 2001 16:55:25 -0800, Chris Hecker pisze: > Now my only problem is that I collapse int_t -> (int_t -> int_t) > to int_t -> int_t -> int_t, which is correct for languages with > currying, but C doesn't curry, so I need to keep those parens > around to generate the right type. Do you indeed support returning functions from C? OK, so you need to distinguish more than the OCaml type tells. For example by having two functions of type 'a t -> 'b t -> ('a -> 'b) t: one to use between arguments and another for the final result. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTĘPCZA QRCZAK ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr