From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <goswin-v-b@web.de>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id 12CBBBBAF
	for <caml-list@yquem.inria.fr>; Wed, 25 Aug 2010 17:17:16 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Aj8BAAbRdEzZSMDjkWdsb2JhbACgRRUBAQEBCQsKBxEDH7xAhTcE
X-IronPort-AV: E=Sophos;i="4.56,268,1280700000"; 
   d="scan'208";a="57798837"
Received: from fmmailgate02.web.de ([217.72.192.227])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Aug 2010 17:17:15 +0200
Received:  from smtp02.web.de  ( [172.20.0.184])
	by fmmailgate02.web.de (Postfix) with ESMTP id 2BD6D16E98F3B;
	Wed, 25 Aug 2010 17:17:15 +0200 (CEST)
Received: from [78.43.204.177] (helo=frosties.localdomain)
	by smtp02.web.de with asmtp (TLSv1:AES256-SHA:256)
	(WEB.DE 4.110 #24)
	id 1OoHj1-000554-00; Wed, 25 Aug 2010 17:17:15 +0200
Received: from mrvn by frosties.localdomain with local (Exim 4.72)
	(envelope-from <goswin-v-b@web.de>)
	id 1OoHj0-0008Ej-JF; Wed, 25 Aug 2010 17:17:14 +0200
From: Goswin von Brederlow <goswin-v-b@web.de>
To: Adrien <camaradetux@gmail.com>
Cc: Eray Ozkural <examachine@gmail.com>, caml-list@yquem.inria.fr,
	Basile Starynkevitch <basile@starynkevitch.net>,
	Paul Steckler <steck@stecksoft.com>, Richard Jones <rich@annexia.org>
Subject: Re: [Caml-list] More re GC hanging
References: <AANLkTiknLdC0WZ9dAS+B2Uk45i8G2aOEpaLVtM_HhaS_@mail.gmail.com>
	<1281855821.2115.4.camel@glinka> <20100820152144.GA25887@annexia.org>
	<AANLkTin=oCx+qS_UtzpuR=y+TRrbo4MFtbco6tGYgRAh@mail.gmail.com>
	<AANLkTimdjc5vEUaF1ZYbV76TB5UqsQ=taFmf2b1P8G3g@mail.gmail.com>
Date: Wed, 25 Aug 2010 17:17:14 +0200
In-Reply-To: <AANLkTimdjc5vEUaF1ZYbV76TB5UqsQ=taFmf2b1P8G3g@mail.gmail.com>
	(Adrien's message of "Sun, 22 Aug 2010 15:02:27 +0200")
Message-ID: <87d3t6bu2t.fsf@frosties.localdomain>
User-Agent: Gnus/5.110009 (No Gnus v0.9) XEmacs/21.4.22 (linux, no MULE)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Sender: goswin-v-b@web.de
X-Sender: goswin-v-b@web.de
X-Provags-ID: V01U2FsdGVkX19R66GG7FPpI4a/bWwhrtsVbc47OYDDJuCYFNzI
	7CaSATJRixN70nxtUghI0pVJFQOMMq0hwIGJ6xbYueopgXn3Xq
	hX1oY64vw=
X-Spam: no; 0.00; bindings:01 ocaml:01 bindings:01 afaik:01 mfg:98 stack:01 stack:01 caml-list:01 writes:01 argument:02 argument:02 parameter:02 declaration:02 string:02 string:02 

Adrien <camaradetux@gmail.com> writes:

> Also, I found out that I had a pretty ugly error in my C bindings but
> it looks like it had no bad impact.
> Basically, I had 'external ml_f : *string* -> string array' but the C
> side read 'value ml_f()': the C function took *no* argument while
> ocaml was passing one (I wasn't actually using the argument). Has
> anything been developped against that? Anything to warn about errors
> in bindings?

That actually makes no problem on any architecture afaik. The parameter
will be placed in a register or on stack and never accessed. The GC
might move the value around making the register/stack value invalid, but
you never access it anyway.

I don't think there is anything that will verify that the external
declaration and C side have the same number of arguments.

MfG
        Goswin