|Anonymous | Login | Signup for a new account||2014-03-12 10:37 CET|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0005947||OCaml||OCaml otherlibs||public||2013-03-12 18:41||2013-08-19 16:07|
|Priority||normal||Severity||minor||Reproducibility||have not tried|
|Target Version||4.01.1+dev||Fixed in Version|
|Summary||0005947: CAMLprim returning void|
|Description||Some C primitives of the OCaml otherlibs runtime returns void instead of ().|
Some of them are declared "external" in some .ml files.
Obviously, it could cause a "Segmentation fault" if they are called from OCaml.
|Steps To Reproduce||To search these invalid functions, run:|
$ grep -RIni 'CAMLprim void' otherlibs
otherlibs/labltk/support/cltkImg.c:112:CAMLprim void camltk_setimgdata_bytecode(argv,argn)
otherlibs/labltk/support/cltkCaml.c:66:CAMLprim void tk_error(char *errmsg)
|Additional Information||I think that "tk_error" is *not* an OCaml primitive, so you may just have to remove the CAMLprim attribute.|
Functions camltk_setimgdata_bytecode and camltk_setimg_native are exported, so you just have to change signature and to return Val_unit.
|Tags||No tags attached.|
IIRC, the CAMLprim attribute on tk_error is to overcome restrictions on dependencies between DLLs on windows.
Namely other libraries, such as LablGL, need to access some utility functions from LablTk, and if they are not correctly flagged they are not avilable outside of the DLL.
(The maybe a better name that CAMLprim to do that, but I didn't check; actually CAMLprim is only used to register primitives in the byterun directory)
About tk_error, as far as I know you are supposed to use CAMLexport rather than CAMLprim in that case. This will need to be tested.
About the others, we need to decide if they are like tk_error or if they are really primitives, in which case they must return "value" rather than "void".
|2013-03-12 18:41||bvaugon||New Issue|
|2013-03-17 17:14||gasche||Assigned To||=> doligez|
|2013-03-17 17:14||gasche||Status||new => assigned|
|2013-03-18 07:19||garrigue||Note Added: 0008990|
|2013-07-12 09:45||doligez||Target Version||=> 4.01.0+dev|
|2013-07-17 13:08||doligez||Note Added: 0009797|
|2013-08-19 16:07||doligez||Target Version||4.01.0+dev => 4.01.1+dev|
|Copyright © 2000 - 2011 MantisBT Group|