Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Toplevel crashes when trying to call external functions
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Andy Yang <yyu08@y...>
Subject: Re: [Caml-list] Toplevel crashes when trying to call external functions

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 = "<<hex<<(void*)mng<<endl;   
  read_cnf((SAT_Manager)mng, String_val(filename));
  CAMLreturn(Val_unit);
}

Andy


		
__________________________________
Do you Yahoo!?
Yahoo! Mail - 50x more storage than other providers!
http://promotions.yahoo.com/new_mail

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners