Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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));


Do you Yahoo!?
Yahoo! Mail - 50x more storage than other providers!

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: