open Swig open Catches let _ = try ignore (_test_catches '(1)); assert false with Failure s -> assert (s = "C++ int exception thrown, value: 1") try ignore (_test_catches '(2)); assert false with Failure s -> assert (s = "two") try ignore (_test_catches '(3)); assert false with Failure s -> assert (s = "C++ ThreeException const & exception thrown") try ignore (_test_exception_specification '(1)); assert false with Failure s -> assert (s = "C++ int exception thrown, value: 1") try ignore (_test_exception_specification '(2)); assert false with Failure s -> assert (s = "unknown exception") try ignore (_test_exception_specification '(3)); assert false with Failure s -> assert (s = "unknown exception") try ignore (_test_catches_all '(1)); assert false with Failure s -> assert (s = "unknown exception") ;;