diff options
| author | Peter Zotov <whitequark@whitequark.org> | 2013-11-14 06:34:13 +0000 |
|---|---|---|
| committer | Peter Zotov <whitequark@whitequark.org> | 2013-11-14 06:34:13 +0000 |
| commit | a69773cead6dea09ade34342eafacf848ec41367 (patch) | |
| tree | 5d06edd2e65a631dca06d32090160b02e9059f41 /bindings/ocaml/llvm/llvm.ml | |
| parent | 732cf2d598b4c9ca47e9c32fbd2e7732d971bda6 (diff) | |
| download | llvm-a69773cead6dea09ade34342eafacf848ec41367.tar.gz llvm-a69773cead6dea09ade34342eafacf848ec41367.tar.bz2 llvm-a69773cead6dea09ade34342eafacf848ec41367.tar.xz | |
[OCaml] Expose LLVM's fatal error and stacktrace APIs
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194669 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'bindings/ocaml/llvm/llvm.ml')
| -rw-r--r-- | bindings/ocaml/llvm/llvm.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/bindings/ocaml/llvm/llvm.ml b/bindings/ocaml/llvm/llvm.ml index 780e305e2f..d36f360bf6 100644 --- a/bindings/ocaml/llvm/llvm.ml +++ b/bindings/ocaml/llvm/llvm.ml @@ -280,6 +280,13 @@ exception IoError of string external register_exns : exn -> unit = "llvm_register_core_exns" let _ = register_exns (IoError "") +external install_fatal_error_handler : (string -> unit) -> unit + = "llvm_install_fatal_error_handler" +external reset_fatal_error_handler : unit -> unit + = "llvm_reset_fatal_error_handler" +external enable_pretty_stacktrace : unit -> unit + = "llvm_enable_pretty_stacktrace" + type ('a, 'b) llpos = | At_end of 'a | Before of 'b |