Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] dynamically loading C functions
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: qrczak@k...
Subject: Re: [Caml-list] dynamically loading C functions
Mon, 05 Mar 2001 16:55:25 -0800, Chris Hecker <checker@d6.com> 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