OCaml Forge

Detail: [#1118] missing "exception Exception of obj" in jni.mli

Bugs: Browse | Download .csv | Monitor

[#1118] missing "exception Exception of obj" in jni.mli

Date:
2012-03-16 07:52
Priority:
3
State:
Closed
Submitted by:
Sébastien Ferré (sebferre)
Assigned to:
Nobody (None)
Hardware:
All
Resolution:
Fixed
Severity:
trivial
Version:
None
Component:
None
Operating System:
All
Product:
None
 
URL:
Summary:
missing "exception Exception of obj" in jni.mli

Detailed description
The exception "Exception of obj" declared in jni.ml
is not declared in jni.mli, making it impossible to
catch. Catching such exceptions enables to look at
Java exceptions, and therefore get more precise
information.

Followup

Message
Date: 2016-12-28 10:37
Sender: Xavier Leroy

Done in commit [master 05cd833] on Github.

Attached Files:

Changes:

Field Old Value Date By
status_idOpen2016-12-28 10:37xleroy
close_dateNone2016-12-28 10:37xleroy
ResolutionNone2016-12-28 10:37xleroy