From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA12138 for caml-redistribution@pauillac.inria.fr; Mon, 21 Feb 2000 18:18:04 +0100 (MET)
Resent-Message-Id: <200002211718.SAA12138@pauillac.inria.fr>
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA06322 for <caml-list@pauillac.inria.fr>; Mon, 21 Feb 2000 17:54:21 +0100 (MET)
Received: from air.irisa.fr (air.irisa.fr [131.254.60.130])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id RAA09989;
	Mon, 21 Feb 2000 17:54:19 +0100 (MET)
Received: from parate.irisa.fr (parate.irisa.fr [131.254.12.25])
	by air.irisa.fr (8.9.3/8.9.3) with ESMTP id RAA25094;
	Mon, 21 Feb 2000 17:54:19 +0100 (MET)
Sender: David.Mentre@irisa.fr
To: Xavier Leroy <Xavier.Leroy@inria.fr>
Cc: caml-list@inria.fr
Subject: Re: Calling C from OCaml, GC problems
References: <wd8ael1noi1.fsf@parate.irisa.fr> <20000218104523.12491@pauillac.inria.fr>
From: David.Mentre@irisa.fr (David=?iso-8859-1?q?_Mentr=E9?=)
Date: 21 Feb 2000 17:54:18 +0100
Message-ID: <wd84sb2339h.fsf@parate.irisa.fr>
User-Agent: Gnus/5.0803 (Gnus v5.8.3) Emacs/20.4
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Resent-From: weis@pauillac.inria.fr
Resent-Date: Mon, 21 Feb 2000 18:18:04 +0100
Resent-To: caml-redistribution@pauillac.inria.fr

Xavier Leroy <Xavier.Leroy@inria.fr> writes:

> >  2. when compiling, I've tons of warning like this:
> > bdd_interface.c: In function `mlbdd_alloc_manager':
> > bdd_interface.c:136: warning: left-hand operand of comma expression has no effect
> > bdd_interface.c:136: warning: unused variable `caml__dummy_result'
> 
> I think those warnings are harmless, and are due to the way the
> CAMLxxx macros are written in 2.04.  But only Damien Doligez knows for
> sure...

Yes. Having a deeper look at those macros, I've found that the first
warning as been fixed in ocaml 2.99 (the macros CAMLxparam referenced a
the caml__frame variable without using it).

However, the second warning is still there (even if harmless). The
problem is that the caml__dummy_##name variables are no longer
used. Such variable is only used to make some side-effects using C
'(stmt1, stmt2, ..., stmtN)' notation. I see no way to fix this. C lack
the Caml 'let _ ='. :)

Any way, many thanks for the feedback.
Best regards,
d. 
-- 
 David.Mentre@irisa.fr -- http://www.irisa.fr/prive/dmentre/
 Opinions expressed here are only mine.