caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Robert Roessler <roessler@rftp.com>
To: Caml-list <caml-list@inria.fr>
Subject: Re: [Caml-list] C interface style question
Date: Wed, 18 Jan 2006 15:43:00 -0800	[thread overview]
Message-ID: <43CED284.3010904@rftp.com> (raw)
In-Reply-To: <200601190021.11934.fmonnier@linux-nantes.fr.eu.org>

Florent Monnier wrote:
>>>>> value-type parameters to C functions exported to OCaml should be
>>>>> registered with CAMLparamX(...). Does this hold in general, or is it
>>>>> considered acceptable/appropriate to just ignore this for "immediate"
>>>>> values that do not hold pointers, but, say, int, bool etc. values?
>>>> If you don't allocate O'Caml memory you need not to register the
>>>> parameters.
>>> And in this case there's no need to use CAMLreturn(), return is enough,
>>> is it right ?
>> That would not even compile without a CAMLparam.
> 
> Most of the LablGL functions have no CAMLparam and no CAMLreturn.
> Here is just an exemple:
> 
> CAMLprim value
> ml_glDeleteTexture (value texture_id)
> {
>     GLuint id = Int32_val(texture_id);
>     glDeleteTextures(1, &id);
>     return Val_unit;
> }
> 
> And I think the author does know his way around OCaml tricks

I think Gerd's point was regarding the CAMLreturn... *that* will not 
compile without the function having a CAMLparam of some "arity" 
present. ;)

Robert Roessler
roessler@rftp.com
http://www.rftp.com


  reply	other threads:[~2006-01-19  0:07 UTC|newest]

Thread overview: 20+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-01-18 18:28 Thomas Fischbacher
2006-01-18 19:18 ` [Caml-list] " Gerd Stolpmann
2006-01-18 20:32   ` Florent Monnier
2006-01-18 21:31     ` Gerd Stolpmann
2006-01-18 23:21       ` Florent Monnier
2006-01-18 23:43         ` Robert Roessler [this message]
2006-01-19  0:39 ` Jacques Garrigue
2006-01-19  3:17   ` skaller
2006-01-19 14:09     ` Damien Doligez
2006-01-19 14:17       ` Thomas Fischbacher
2006-01-19 14:24       ` Thomas Fischbacher
2006-01-19 14:52         ` Olivier Andrieu
2006-01-20 10:49           ` Damien Doligez
2006-02-12 20:40             ` Olivier Andrieu
2006-02-13  9:45               ` Damien Doligez
2006-01-19 15:15       ` Thomas Fischbacher
2006-01-30 13:12       ` On Store_field() Thomas Fischbacher
2006-01-30 14:05         ` [Caml-list] " Olivier Andrieu
2006-01-19 12:13   ` [Caml-list] C interface style question Thomas Fischbacher
2006-01-19 13:49     ` Jacques Garrigue

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=43CED284.3010904@rftp.com \
    --to=roessler@rftp.com \
    --cc=caml-list@inria.fr \
    /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).