Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at ocaml.org.

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