diff options
Diffstat (limited to 'camlp4/examples/global_handler_test.ml')
| -rw-r--r-- | camlp4/examples/global_handler_test.ml | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/camlp4/examples/global_handler_test.ml b/camlp4/examples/global_handler_test.ml deleted file mode 100644 index 9c3e98ca2..000000000 --- a/camlp4/examples/global_handler_test.ml +++ /dev/null @@ -1,26 +0,0 @@ -(****************************************************************************) -(* *) -(* OCaml *) -(* *) -(* INRIA Rocquencourt *) -(* *) -(* Copyright 2006 Institut National de Recherche en Informatique et *) -(* en Automatique. All rights reserved. This file is distributed under *) -(* the terms of the GNU Library General Public License, with the special *) -(* exception on linking described in LICENSE at the top of the OCaml *) -(* source tree. *) -(* *) -(****************************************************************************) - -open Format;; -let f1 x = printf "f1 %d@." x;; -let f2 x = printf "f2 %f@." x;; -let f3 x = printf "f3 %s@." x;; -f1 1;; -f2 1.1;; -f3 "1.1.1";; -raise (Failure "test");; -let global_handler e = - (* Note that I need to give the complete name for eprintf since - Format is not opened in the new environment of global_handler. *) - Format.eprintf "global_handler: %s@." (Printexc.to_string e) |