Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add a few missing copyright headers 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13485 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Damien Doligez 2013-04-04 15:27:13 +00:00
parent e2eacb06cd
commit a3f9e65668
39 changed files with 468 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
testsuite/tests/exotic-syntax/exotic.ml
View File

@ -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). *)

12
testsuite/tests/lib-dynlink-bytecode/main.ml
View File

@ -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

12
testsuite/tests/lib-dynlink-bytecode/plug1.ml
View File

@ -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

12
testsuite/tests/lib-dynlink-bytecode/plug2.ml
View File

@ -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

12
testsuite/tests/lib-dynlink-bytecode/registry.ml
View File

@ -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 =

12
testsuite/tests/lib-dynlink-bytecode/stub1.c
View File

@ -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"

12
testsuite/tests/lib-dynlink-bytecode/stub2.c
View File

@ -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"

12
testsuite/tests/lib-dynlink-csharp/entry.c
View File

@ -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>

12
testsuite/tests/lib-dynlink-csharp/main.ml
View File

@ -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

12
testsuite/tests/lib-dynlink-csharp/plugin.ml
View File

@ -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 () =

12
testsuite/tests/lib-dynlink-native/a.ml
View File

@ -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

12
testsuite/tests/lib-dynlink-native/api.ml
View File

@ -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 =

12
testsuite/tests/lib-dynlink-native/b.ml
View File

@ -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;

12
testsuite/tests/lib-dynlink-native/bug.ml
View File

@ -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))

12
testsuite/tests/lib-dynlink-native/c.ml
View File

@ -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;

12
testsuite/tests/lib-dynlink-native/factorial.c
View File

@ -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"

12
testsuite/tests/lib-dynlink-native/main.ml
View File

@ -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")

12
testsuite/tests/lib-dynlink-native/pack_client.ml
View File

@ -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

12
testsuite/tests/lib-dynlink-native/packed1.ml
View File

@ -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"

12
testsuite/tests/lib-dynlink-native/packed1_client.ml
View File

@ -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

12
testsuite/tests/lib-dynlink-native/plugin.ml
View File

@ -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)

12
testsuite/tests/lib-dynlink-native/plugin.mli
View File

@ -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

12
testsuite/tests/lib-dynlink-native/plugin2.ml
View File

@ -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 () =

12
testsuite/tests/lib-dynlink-native/plugin4.ml
View File

@ -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"

12
testsuite/tests/lib-dynlink-native/plugin_ext.ml
View File

@ -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 () =

12
testsuite/tests/lib-dynlink-native/plugin_high_arity.ml
View File

@ -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

12
testsuite/tests/lib-dynlink-native/plugin_ref.ml
View File

@ -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 () =

12
testsuite/tests/lib-dynlink-native/plugin_simple.ml
View File

@ -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'

12
testsuite/tests/lib-dynlink-native/plugin_thread.ml
View File

@ -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 =

12
testsuite/tests/lib-dynlink-native/sub/api.ml
View File

@ -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

12
testsuite/tests/lib-dynlink-native/sub/api.mli
View File

@ -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

12
testsuite/tests/lib-dynlink-native/sub/plugin.ml
View File

@ -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 ]

12
testsuite/tests/lib-dynlink-native/sub/plugin3.ml
View File

@ -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)

12
testsuite/tests/regression/camlp4-class-type-plus/camlp4_class_type_plus_ok.ml
View File

@ -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;;

12
testsuite/tests/regression/pr5080-notes/pr5080_notes_ok.ml
View File

@ -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

12
testsuite/tests/regression/pr5233/pr5233.ml
View File

@ -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

12
testsuite/tests/regression/pr5757/pr5757.ml
View File

@ -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))

12
testsuite/tests/runtime-errors/stackoverflow.ml
View File

@ -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)

12
testsuite/tests/runtime-errors/syserror.ml
View File

@ -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"