Archives of the Caml mailing list > Message from Andy Yang

Browse thread

[Caml-list] Toplevel crashes when trying to call external functions

Andy Yang
- art yerkes
  - Andy Yang
    - Gerd Stolpmann
    - Damien Doligez
      - Andy Yang
        
        Olivier Andrieu
        
        Andy Yang
- Anne Pacalet

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