New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
questions autour de caml_startup #2784
Comments
Comment author: administrator
Peut être. Une manière de contourner le problème est d'avoir un
Pas pour le moment. Là encore, l'idée de départ était d'appeler Très cordialement,
|
Comment author: administrator
Je prefére ne pas le contourner. Bon en fait, dans mon cas, je trouve que le Enfin bon ce peut être un simple souhait cosmétique pour un caml_startup_exn()
Pour ma part, j'en avais besoin pour des fonctions utilisateurs externes Alors, le début du monde correspond à la première lecture par l'application de Lorsque les sources Caml sont modifiés et recompilés, avant de charger la Relancer toute l'application est pénible. Ça peut prendre plusieurs longues Pour l'instant je sais que tout ce qui est déclaré à l'intérieur des Donc tout marche quand même, mais avec une augmentation de la mémoire Peut être qu'il y a, via une astuce, un moyen simple de faire une partie du Enfin, sinon voilà, ce n'est qu'un souhait pour un caml_cleanup () ... Merci Cordialement, Maurice Brémond |
Comment author: administrator Consider adding caml_startup_exn and a caml_cleanup function. |
Comment author: @mshinwell caml_startup_exn is now covered by #953. |
Original bug ID: 385
Reporter: administrator
Status: closed (set by @mshinwell on 2016-12-08T10:35:03Z)
Resolution: not a bug
Priority: normal
Severity: feature
Category: runtime system and C interface
Bug description
Bonjour,
Voici deux questions sur l'appel de Objective Caml depuis un programme
principal en C et sur caml_startup :
Comment récupérer depuis un programme principal C une exception déclenchée
lors de la déclaration d'une valeur, c'est à dire du type :
value _ = raise (Failure "from value"); ?
Si je comprends bien cette exception est déclenchée lors de l'appel à
caml_startup(argv). Mais il n'y a pas semble-t-il de caml_startup_exn (comme
les callback[123]_exn) pour éviter l'appel à fatal_uncaught_exception et donc
à exit(2);
Est-ce que qu'il faudrait un caml_startup_exn ?
D'autre part, toujours sur caml_startup :
Comment libérer depuis C toute la mémoire allouée par caml_startup(argv) ?
Est-ce qu'il y a un moyen de faire un caml_cleanup() ?
Merci d'avance pour toute aide
Cordialement,
Maurice Brémond
LEGOS/GRGS
14 Ae Edouard Belin
31400 Toulouse
The text was updated successfully, but these errors were encountered: