diff options
| author | Haibo Huang <hhb@google.com> | 2019-10-08 15:48:26 -0700 |
|---|---|---|
| committer | Haibo Huang <hhb@google.com> | 2019-11-14 22:14:23 +0000 |
| commit | 80b4251e302efb18c145a4786249d695397ed42a (patch) | |
| tree | 12b9dec2513f7caa92e7835bc17ab16ae5635df6 /Examples/ocaml/contract/runme.ml | |
| parent | 189852d8cdfd5863c52ec7aa73affd926c5a3f43 (diff) | |
| parent | 1e36f51346d95f8b9848e682c2eb986e9cb9b4f4 (diff) | |
| download | swig-80b4251e302efb18c145a4786249d695397ed42a.tar.gz | |
Upgrade swig to 'rel-4.0.1'llvm-r383902b
Also run autogen.sh to generate configure files.
Exempt-From-Owner-Approval: add myself to owners
Change-Id: I391aa20428836ae74dab8c8427627ca4dbc8ecf4
Diffstat (limited to 'Examples/ocaml/contract/runme.ml')
| -rw-r--r-- | Examples/ocaml/contract/runme.ml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Examples/ocaml/contract/runme.ml b/Examples/ocaml/contract/runme.ml new file mode 100644 index 000000000..a77eed701 --- /dev/null +++ b/Examples/ocaml/contract/runme.ml @@ -0,0 +1,12 @@ +open Swig +open Example + +let _ = print_endline "This won't throw." +let _ = Printf.printf "Cos 1.0 is %f\n" (_cos '(1.0) as float) +let _ = print_endline "This will throw." +let _ = + try + Printf.printf "Cos 5.0 is %f\n" (_cos '(5.0) as float) + with Failure s -> + print_endline s ; + print_endline "Exception thrown." |