Browse files

add a few missing copyright headers

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13485 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information...
1 parent e2eacb0 commit a3f9e656682c7fee1cb3a9ff61626ea2b3840d41 Damien Doligez committed Apr 4, 2013
Showing with 468 additions and 0 deletions.
  1. +12 −0 testsuite/tests/exotic-syntax/exotic.ml
  2. +12 −0 testsuite/tests/lib-dynlink-bytecode/main.ml
  3. +12 −0 testsuite/tests/lib-dynlink-bytecode/plug1.ml
  4. +12 −0 testsuite/tests/lib-dynlink-bytecode/plug2.ml
  5. +12 −0 testsuite/tests/lib-dynlink-bytecode/registry.ml
  6. +12 −0 testsuite/tests/lib-dynlink-bytecode/stub1.c
  7. +12 −0 testsuite/tests/lib-dynlink-bytecode/stub2.c
  8. +12 −0 testsuite/tests/lib-dynlink-csharp/entry.c
  9. +12 −0 testsuite/tests/lib-dynlink-csharp/main.ml
  10. +12 −0 testsuite/tests/lib-dynlink-csharp/plugin.ml
  11. +12 −0 testsuite/tests/lib-dynlink-native/a.ml
  12. +12 −0 testsuite/tests/lib-dynlink-native/api.ml
  13. +12 −0 testsuite/tests/lib-dynlink-native/b.ml
  14. +12 −0 testsuite/tests/lib-dynlink-native/bug.ml
  15. +12 −0 testsuite/tests/lib-dynlink-native/c.ml
  16. +12 −0 testsuite/tests/lib-dynlink-native/factorial.c
  17. +12 −0 testsuite/tests/lib-dynlink-native/main.ml
  18. +12 −0 testsuite/tests/lib-dynlink-native/pack_client.ml
  19. +12 −0 testsuite/tests/lib-dynlink-native/packed1.ml
  20. +12 −0 testsuite/tests/lib-dynlink-native/packed1_client.ml
  21. +12 −0 testsuite/tests/lib-dynlink-native/plugin.ml
  22. +12 −0 testsuite/tests/lib-dynlink-native/plugin.mli
  23. +12 −0 testsuite/tests/lib-dynlink-native/plugin2.ml
  24. +12 −0 testsuite/tests/lib-dynlink-native/plugin4.ml
  25. +12 −0 testsuite/tests/lib-dynlink-native/plugin_ext.ml
  26. +12 −0 testsuite/tests/lib-dynlink-native/plugin_high_arity.ml
  27. +12 −0 testsuite/tests/lib-dynlink-native/plugin_ref.ml
  28. +12 −0 testsuite/tests/lib-dynlink-native/plugin_simple.ml
  29. +12 −0 testsuite/tests/lib-dynlink-native/plugin_thread.ml
  30. +12 −0 testsuite/tests/lib-dynlink-native/sub/api.ml
  31. +12 −0 testsuite/tests/lib-dynlink-native/sub/api.mli
  32. +12 −0 testsuite/tests/lib-dynlink-native/sub/plugin.ml
  33. +12 −0 testsuite/tests/lib-dynlink-native/sub/plugin3.ml
  34. +12 −0 testsuite/tests/regression/camlp4-class-type-plus/camlp4_class_type_plus_ok.ml
  35. +12 −0 testsuite/tests/regression/pr5080-notes/pr5080_notes_ok.ml
  36. +12 −0 testsuite/tests/regression/pr5233/pr5233.ml
  37. +12 −0 testsuite/tests/regression/pr5757/pr5757.ml
  38. +12 −0 testsuite/tests/runtime-errors/stackoverflow.ml
  39. +12 −0 testsuite/tests/runtime-errors/syserror.ml
View
12 testsuite/tests/exotic-syntax/exotic.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Damien Doligez, projet Gallium, INRIA Rocquencourt *)
+(* *)
+(* Copyright 2013 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
(* Exotic OCaml syntax constructs found in the manual that are not *)
(* used in the source of the OCaml distribution (even in the tests). *)
View
12 testsuite/tests/lib-dynlink-bytecode/main.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let f x = print_string "This is Main.f\n"; x
let () = Registry.register f
View
12 testsuite/tests/lib-dynlink-bytecode/plug1.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
external stub1: unit -> string = "stub1"
let f x = print_string "This is Plug1.f\n"; x + 1
View
12 testsuite/tests/lib-dynlink-bytecode/plug2.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
external stub2: unit -> unit = "stub2"
let f x = print_string "This is Plug2.f\n"; x + 2
View
12 testsuite/tests/lib-dynlink-bytecode/registry.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
+(* *)
+(* Copyright 2012 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let functions = ref ([]: (int -> int) list)
let register f =
View
12 testsuite/tests/lib-dynlink-bytecode/stub1.c
@@ -1,3 +1,15 @@
+/***********************************************************************/
+/* */
+/* OCaml */
+/* */
+/* Alain Frisch, LexiFi */
+/* */
+/* Copyright 2007 Institut National de Recherche en Informatique et */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the Q Public License version 1.0. */
+/* */
+/***********************************************************************/
+
#include "caml/mlvalues.h"
#include "caml/memory.h"
#include "caml/alloc.h"
View
12 testsuite/tests/lib-dynlink-bytecode/stub2.c
@@ -1,3 +1,15 @@
+/***********************************************************************/
+/* */
+/* OCaml */
+/* */
+/* Alain Frisch, LexiFi */
+/* */
+/* Copyright 2007 Institut National de Recherche en Informatique et */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the Q Public License version 1.0. */
+/* */
+/***********************************************************************/
+
#include "caml/mlvalues.h"
#include "caml/memory.h"
#include "caml/alloc.h"
View
12 testsuite/tests/lib-dynlink-csharp/entry.c
@@ -1,3 +1,15 @@
+/***********************************************************************/
+/* */
+/* OCaml */
+/* */
+/* Alain Frisch, LexiFi */
+/* */
+/* Copyright 2007 Institut National de Recherche en Informatique et */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the Q Public License version 1.0. */
+/* */
+/***********************************************************************/
+
#include <caml/memory.h>
#include <caml/alloc.h>
#include <caml/mlvalues.h>
View
12 testsuite/tests/lib-dynlink-csharp/main.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let load s =
Printf.printf "Loading %s\n%!" s;
try
View
12 testsuite/tests/lib-dynlink-csharp/plugin.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let f x = x.{2}
let () =
View
12 testsuite/tests/lib-dynlink-native/a.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let x = ref 0
let u = Random.int 1000
View
12 testsuite/tests/lib-dynlink-native/api.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let mods = ref []
let reg_mod name =
View
12 testsuite/tests/lib-dynlink-native/b.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let () =
print_endline "B is running";
incr A.x;
View
12 testsuite/tests/lib-dynlink-native/bug.ml
@@ -1,2 +1,14 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let () = try raise (Invalid_argument "X") with Invalid_argument s ->
raise (Invalid_argument (s ^ s))
View
12 testsuite/tests/lib-dynlink-native/c.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let () =
print_endline "C is running";
incr A.x;
View
12 testsuite/tests/lib-dynlink-native/factorial.c
@@ -1,3 +1,15 @@
+/***********************************************************************/
+/* */
+/* OCaml */
+/* */
+/* Alain Frisch, LexiFi */
+/* */
+/* Copyright 2007 Institut National de Recherche en Informatique et */
+/* en Automatique. All rights reserved. This file is distributed */
+/* under the terms of the Q Public License version 1.0. */
+/* */
+/***********************************************************************/
+
#include "caml/mlvalues.h"
#include "caml/memory.h"
#include "caml/alloc.h"
View
12 testsuite/tests/lib-dynlink-native/main.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let () =
Api.add_cb (fun () -> print_endline "Callback from main")
View
12 testsuite/tests/lib-dynlink-native/pack_client.ml
@@ -1,2 +1,14 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let () =
print_endline Mypack.Packed1.mykey
View
12 testsuite/tests/lib-dynlink-native/packed1.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let () =
Api.reg_mod "Packed1"
View
12 testsuite/tests/lib-dynlink-native/packed1_client.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let () =
Api.reg_mod "Packed1_client";
print_endline Packed1.mykey
View
12 testsuite/tests/lib-dynlink-native/plugin.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let rec f x = ignore ([x]); f x
let rec fact n = if n = 0 then 1 else n * fact (n - 1)
View
12 testsuite/tests/lib-dynlink-native/plugin.mli
@@ -1 +1,13 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
val facts: int list
View
12 testsuite/tests/lib-dynlink-native/plugin2.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
(*external ex: int -> int = "caml_ex"*)
let () =
View
12 testsuite/tests/lib-dynlink-native/plugin4.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let () =
Printf.printf "time = %f\n" (Unix.time ());
Api.reg_mod "Plugin"
View
12 testsuite/tests/lib-dynlink-native/plugin_ext.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
external fact: int -> string = "factorial"
let () =
View
12 testsuite/tests/lib-dynlink-native/plugin_high_arity.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let f x x x x x x x x x x x x x = ()
let g x = f x x x x x x x x
View
12 testsuite/tests/lib-dynlink-native/plugin_ref.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let x = ref 0
let () =
View
12 testsuite/tests/lib-dynlink-native/plugin_simple.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let facts = [ (Random.int 4) ]
let () = print_endline "COUCOU"; print_char '\n'
View
12 testsuite/tests/lib-dynlink-native/plugin_thread.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let () =
Api.reg_mod "Plugin_thread";
let _t =
View
12 testsuite/tests/lib-dynlink-native/sub/api.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let f i =
Printf.printf "Sub/api: f called with %i\n" i;
i + 1
View
12 testsuite/tests/lib-dynlink-native/sub/api.mli
@@ -1 +1,13 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
val f : int -> int
View
12 testsuite/tests/lib-dynlink-native/sub/plugin.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let rec fact n = if n = 0 then 1 else n * fact (n - 1)
let facts = [ fact 1; fact 2; fact 3; fact 4; fact 5 ]
View
12 testsuite/tests/lib-dynlink-native/sub/plugin3.ml
@@ -1,2 +1,14 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Alain Frisch, LexiFi *)
+(* *)
+(* Copyright 2007 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let () =
ignore (Api.f 10)
View
12 testsuite/tests/regression/camlp4-class-type-plus/camlp4_class_type_plus_ok.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Damien Doligez, projet Gallium, INRIA Rocquencourt *)
+(* *)
+(* Copyright 2011 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
type t;;
type xdr_value;;
View
12 testsuite/tests/regression/pr5080-notes/pr5080_notes_ok.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Damien Doligez, projet Gallium, INRIA Rocquencourt *)
+(* *)
+(* Copyright 2011 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let marshal_int f =
match [] with
| _ :: `INT n :: _ -> f n
View
12 testsuite/tests/regression/pr5233/pr5233.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Damien Doligez, projet Gallium, INRIA Rocquencourt *)
+(* *)
+(* Copyright 2012 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
open Printf;;
(* PR#5233: Create a dangling pointer and use it to access random parts
View
12 testsuite/tests/regression/pr5757/pr5757.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Damien Doligez, projet Gallium, INRIA Rocquencourt *)
+(* *)
+(* Copyright 2012 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
Random.init 3;;
for i = 0 to 100_000 do
ignore (String.create (Random.int 1_000_000))
View
12 testsuite/tests/runtime-errors/stackoverflow.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
+(* *)
+(* Copyright 2001 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let rec f x =
if not (x = 0 || x = 10000 || x = 20000)
then 1 + f (x + 1)
View
12 testsuite/tests/runtime-errors/syserror.ml
@@ -1 +1,13 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
+(* *)
+(* Copyright 1996 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
let channel = open_out "titi:/toto"

0 comments on commit a3f9e65

Please sign in to comment.