From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA14803; Mon, 12 Jul 2004 17:39:46 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA14964 for ; Mon, 12 Jul 2004 17:39:44 +0200 (MET DST) Received: from web53205.mail.yahoo.com (web53205.mail.yahoo.com [206.190.39.221]) by concorde.inria.fr (8.12.10/8.12.10) with SMTP id i6CFdhSH013550 for ; Mon, 12 Jul 2004 17:39:43 +0200 Message-ID: <20040712153943.53877.qmail@web53205.mail.yahoo.com> Received: from [155.98.68.51] by web53205.mail.yahoo.com via HTTP; Mon, 12 Jul 2004 08:39:43 PDT Date: Mon, 12 Jul 2004 08:39:43 -0700 (PDT) From: Andy Yang Subject: Re: [Caml-list] Toplevel crashes when trying to call external functions To: Olivier Andrieu Cc: caml-list@inria.fr In-Reply-To: <20040712.153315.120542265.andrieu@ijm.jussieu.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at concorde with ID 40F2B0BF.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 crashes:01 camlreturn:01 val:01 camlparam:01 camlreturn:01 mng:99 camlparam:01 mng:99 solver:01 endl:01 val:01 promotions:99 toplevel:01 toplevel:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, all Thanks a lot! With CAMLreturn(Val_unit), the toplevel works fine. Here is the workable version: value zchaff_InitManager(void) { CAMLparam0 (); SAT_Manager temp = SAT_InitManager(); CAMLreturn( (value)temp ); } value zchaff_ReadCnf(value mng, value filename) { CAMLparam2(mng, filename); cout<<"solver = "<