diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-09 15:06:35 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-09 15:06:35 +0000 |
| commit | e4066357b1c6fc307634918f719fc7ac9b998c6c (patch) | |
| tree | 117cd8651077ad48cfc8d8f173c299630274ac40 | |
| parent | 45eef064358cfe64a8f0c20087c8ea7b6600c615 (diff) | |
Ajout des notices de copyright
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
467 files changed, 6058 insertions, 5 deletions
diff --git a/asmcomp/all.ml b/asmcomp/all.ml index 60a23d331..e2a6219bb 100644 --- a/asmcomp/all.ml +++ b/asmcomp/all.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + #directory "../utils";; #directory "../typing";; #load "../utils/misc.cmo";; diff --git a/asmcomp/arch_alpha.ml b/asmcomp/arch_alpha.ml index 536f5caeb..2092248ce 100644 --- a/asmcomp/arch_alpha.ml +++ b/asmcomp/arch_alpha.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Specific operations for the Alpha processor *) open Format diff --git a/asmcomp/arch_i386.ml b/asmcomp/arch_i386.ml index 21983aff1..5239bb1b3 100644 --- a/asmcomp/arch_i386.ml +++ b/asmcomp/arch_i386.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Specific operations for the Intel 386 processor *) type addressing_mode = diff --git a/asmcomp/arch_mips.ml b/asmcomp/arch_mips.ml index 02b6f3122..826d6310b 100644 --- a/asmcomp/arch_mips.ml +++ b/asmcomp/arch_mips.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Specific operations for the Mips processor *) open Misc diff --git a/asmcomp/arch_sparc.ml b/asmcomp/arch_sparc.ml index af484b802..3f0f4abec 100644 --- a/asmcomp/arch_sparc.ml +++ b/asmcomp/arch_sparc.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Specific operations for the Sparc processor *) open Format diff --git a/asmcomp/asmgen.ml b/asmcomp/asmgen.ml index d92375d07..10758d077 100644 --- a/asmcomp/asmgen.ml +++ b/asmcomp/asmgen.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* From lambda to assembly code *) open Format diff --git a/asmcomp/asmgen.mli b/asmcomp/asmgen.mli index 5d973d05f..195387ba6 100644 --- a/asmcomp/asmgen.mli +++ b/asmcomp/asmgen.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* From lambda to assembly code *) val compile_implementation: string -> Lambda.lambda -> unit diff --git a/asmcomp/asmlibrarian.ml b/asmcomp/asmlibrarian.ml index 012e270ef..2711537e8 100644 --- a/asmcomp/asmlibrarian.ml +++ b/asmcomp/asmlibrarian.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Build libraries of .cmx files *) open Misc diff --git a/asmcomp/asmlibrarian.mli b/asmcomp/asmlibrarian.mli index d82e0d8cf..226c37e90 100644 --- a/asmcomp/asmlibrarian.mli +++ b/asmcomp/asmlibrarian.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Build libraries of .cmx files *) val create_archive: string list -> string -> unit diff --git a/asmcomp/asmlink.ml b/asmcomp/asmlink.ml index f0d578756..486d517fe 100644 --- a/asmcomp/asmlink.ml +++ b/asmcomp/asmlink.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Link a set of .cmx/.o files and produce an executable *) open Sys diff --git a/asmcomp/asmlink.mli b/asmcomp/asmlink.mli index 2a7bc2f13..0046ea78b 100644 --- a/asmcomp/asmlink.mli +++ b/asmcomp/asmlink.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Link a set of .cmx/.o files and produce an executable *) val link: string list -> unit diff --git a/asmcomp/clambda.ml b/asmcomp/clambda.ml index 73edc25f4..71749b443 100644 --- a/asmcomp/clambda.ml +++ b/asmcomp/clambda.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* A variant of the "lambda" code with direct / indirect calls explicit and closures explicit too *) diff --git a/asmcomp/clambda.mli b/asmcomp/clambda.mli index 73edc25f4..71749b443 100644 --- a/asmcomp/clambda.mli +++ b/asmcomp/clambda.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* A variant of the "lambda" code with direct / indirect calls explicit and closures explicit too *) diff --git a/asmcomp/closure.ml b/asmcomp/closure.ml index ddcc414f1..9a2a17225 100644 --- a/asmcomp/closure.ml +++ b/asmcomp/closure.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Introduction of closures, uncurrying, recognition of direct calls *) open Misc diff --git a/asmcomp/closure.mli b/asmcomp/closure.mli index 7575cbd4e..442be9c14 100644 --- a/asmcomp/closure.mli +++ b/asmcomp/closure.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Introduction of closures, uncurrying, recognition of direct calls *) val intro: Lambda.lambda -> Clambda.ulambda diff --git a/asmcomp/cmm.ml b/asmcomp/cmm.ml index c96948b22..0d9f00898 100644 --- a/asmcomp/cmm.ml +++ b/asmcomp/cmm.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + type machtype_component = Addr | Int diff --git a/asmcomp/cmm.mli b/asmcomp/cmm.mli index 520a4ee4d..a305b2923 100644 --- a/asmcomp/cmm.mli +++ b/asmcomp/cmm.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Second intermediate language (machine independent) *) type machtype_component = diff --git a/asmcomp/cmmgen.ml b/asmcomp/cmmgen.ml index d53941ad7..8d76e5a35 100644 --- a/asmcomp/cmmgen.ml +++ b/asmcomp/cmmgen.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Translation from closed lambda to C-- *) open Misc diff --git a/asmcomp/cmmgen.mli b/asmcomp/cmmgen.mli index 69e858ed3..f13dfeba3 100644 --- a/asmcomp/cmmgen.mli +++ b/asmcomp/cmmgen.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Translation from closed lambda to C-- *) val compunit: Clambda.ulambda -> Cmm.phrase list diff --git a/asmcomp/codegen.ml b/asmcomp/codegen.ml index fd7cc1872..0599fa45e 100644 --- a/asmcomp/codegen.ml +++ b/asmcomp/codegen.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* From C-- to assembly code *) open Format diff --git a/asmcomp/codegen.mli b/asmcomp/codegen.mli index 0aa58e899..a3da5fad4 100644 --- a/asmcomp/codegen.mli +++ b/asmcomp/codegen.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* From C-- to assembly code *) val phrase: Cmm.phrase -> unit diff --git a/asmcomp/coloring.ml b/asmcomp/coloring.ml index 872f547b0..fcfe1560c 100644 --- a/asmcomp/coloring.ml +++ b/asmcomp/coloring.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Register allocation by coloring of the interference graph *) open Reg diff --git a/asmcomp/coloring.mli b/asmcomp/coloring.mli index 7b45787cc..798756e54 100644 --- a/asmcomp/coloring.mli +++ b/asmcomp/coloring.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Register allocation by coloring of the interference graph *) val allocate_registers: unit -> unit diff --git a/asmcomp/compilenv.ml b/asmcomp/compilenv.ml index ecbd650e7..52f07f549 100644 --- a/asmcomp/compilenv.ml +++ b/asmcomp/compilenv.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Compilation environments for compilation units *) open Config diff --git a/asmcomp/compilenv.mli b/asmcomp/compilenv.mli index 0b4212370..0908a0f75 100644 --- a/asmcomp/compilenv.mli +++ b/asmcomp/compilenv.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Compilation environments for compilation units *) open Clambda diff --git a/asmcomp/emit.mli b/asmcomp/emit.mli index 9bead16b3..4c88afbc6 100644 --- a/asmcomp/emit.mli +++ b/asmcomp/emit.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Generation of assembly code *) val fundecl: Linearize.fundecl -> unit diff --git a/asmcomp/emit_alpha.mlp b/asmcomp/emit_alpha.mlp index fc135fd37..6a96b224d 100644 --- a/asmcomp/emit_alpha.mlp +++ b/asmcomp/emit_alpha.mlp @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Emission of Alpha assembly code *) open Misc diff --git a/asmcomp/emit_i386.mlp b/asmcomp/emit_i386.mlp index 6e1001ee3..aee3fbb50 100644 --- a/asmcomp/emit_i386.mlp +++ b/asmcomp/emit_i386.mlp @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Emission of Intel 386 assembly code *) open Misc diff --git a/asmcomp/emit_mips.mlp b/asmcomp/emit_mips.mlp index 96fb7ea11..5d5045e73 100644 --- a/asmcomp/emit_mips.mlp +++ b/asmcomp/emit_mips.mlp @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Emission of Mips assembly code *) open Misc diff --git a/asmcomp/emit_sparc.mlp b/asmcomp/emit_sparc.mlp index d56649bb7..163801158 100644 --- a/asmcomp/emit_sparc.mlp +++ b/asmcomp/emit_sparc.mlp @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Emission of Sparc assembly code *) open Misc diff --git a/asmcomp/emitaux.ml b/asmcomp/emitaux.ml index a7199381c..dac54be5e 100644 --- a/asmcomp/emitaux.ml +++ b/asmcomp/emitaux.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Common functions for emitting assembly code *) let output_channel = ref stdout diff --git a/asmcomp/emitaux.mli b/asmcomp/emitaux.mli index f2e741a1a..6ad963f97 100644 --- a/asmcomp/emitaux.mli +++ b/asmcomp/emitaux.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Common functions for emitting assembly code *) val output_channel: out_channel ref diff --git a/asmcomp/interf.ml b/asmcomp/interf.ml index 9e5336188..7a59a21a7 100644 --- a/asmcomp/interf.ml +++ b/asmcomp/interf.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Construction of the interference graph. Annotate pseudoregs with interference lists and preference lists. *) diff --git a/asmcomp/interf.mli b/asmcomp/interf.mli index abed42079..c17305323 100644 --- a/asmcomp/interf.mli +++ b/asmcomp/interf.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Construction of the interference graph. Annotate pseudoregs with interference lists and preference lists. *) diff --git a/asmcomp/linearize.ml b/asmcomp/linearize.ml index 03f04aeca..6987a8ea3 100644 --- a/asmcomp/linearize.ml +++ b/asmcomp/linearize.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Transformation of Mach code into a list of pseudo-instructions. *) open Reg diff --git a/asmcomp/linearize.mli b/asmcomp/linearize.mli index e51f2aebd..03eb67e3d 100644 --- a/asmcomp/linearize.mli +++ b/asmcomp/linearize.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Transformation of Mach code into a list of pseudo-instructions. *) type label = int diff --git a/asmcomp/liveness.ml b/asmcomp/liveness.ml index 0dbb74d9a..1e9bd6712 100644 --- a/asmcomp/liveness.ml +++ b/asmcomp/liveness.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Liveness analysis. Annotate mach code with the set of regs live at each point. *) diff --git a/asmcomp/liveness.mli b/asmcomp/liveness.mli index bf21283d7..ee909d60d 100644 --- a/asmcomp/liveness.mli +++ b/asmcomp/liveness.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Liveness analysis. Annotate mach code with the set of regs live at each point. *) diff --git a/asmcomp/mach.ml b/asmcomp/mach.ml index a79fa21ad..3de202ae7 100644 --- a/asmcomp/mach.ml +++ b/asmcomp/mach.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Representation of machine code by sequences of pseudoinstructions *) type integer_comparison = diff --git a/asmcomp/mach.mli b/asmcomp/mach.mli index afcb8aba1..0e6f5c29f 100644 --- a/asmcomp/mach.mli +++ b/asmcomp/mach.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Representation of machine code by sequences of pseudoinstructions *) type integer_comparison = diff --git a/asmcomp/printcmm.ml b/asmcomp/printcmm.ml index b3f5f6352..4f6d3c809 100644 --- a/asmcomp/printcmm.ml +++ b/asmcomp/printcmm.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Pretty-printing of C-- code *) open Format diff --git a/asmcomp/printcmm.mli b/asmcomp/printcmm.mli index 0d840fd7c..d4cd5f096 100644 --- a/asmcomp/printcmm.mli +++ b/asmcomp/printcmm.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Pretty-printing of C-- code *) val machtype_component : Cmm.machtype_component -> unit diff --git a/asmcomp/printlinear.ml b/asmcomp/printlinear.ml index 86de689bc..4ce52b7e9 100644 --- a/asmcomp/printlinear.ml +++ b/asmcomp/printlinear.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Pretty-printing of linearized machine code *) open Format diff --git a/asmcomp/printlinear.mli b/asmcomp/printlinear.mli index 461c9d4a9..f0180852d 100644 --- a/asmcomp/printlinear.mli +++ b/asmcomp/printlinear.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Pretty-printing of linearized machine code *) open Linearize diff --git a/asmcomp/printmach.ml b/asmcomp/printmach.ml index 38b6248f9..95205319a 100644 --- a/asmcomp/printmach.ml +++ b/asmcomp/printmach.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Pretty-printing of pseudo machine code *) open Format diff --git a/asmcomp/printmach.mli b/asmcomp/printmach.mli index 63edbe7ae..d79ab1e16 100644 --- a/asmcomp/printmach.mli +++ b/asmcomp/printmach.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Pretty-printing of pseudo machine code *) val reg: Reg.t -> unit diff --git a/asmcomp/proc.mli b/asmcomp/proc.mli index 9e848b4a4..231af20b8 100644 --- a/asmcomp/proc.mli +++ b/asmcomp/proc.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Processor descriptions *) (* The Use_default exception is raised by the selection and reloading diff --git a/asmcomp/proc_alpha.ml b/asmcomp/proc_alpha.ml index 231fc681e..88c52cf2c 100644 --- a/asmcomp/proc_alpha.ml +++ b/asmcomp/proc_alpha.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Description of the Alpha processor *) open Misc diff --git a/asmcomp/proc_i386.ml b/asmcomp/proc_i386.ml index 0dc23ea29..04456fc69 100644 --- a/asmcomp/proc_i386.ml +++ b/asmcomp/proc_i386.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Description of the Intel 386 processor *) open Misc diff --git a/asmcomp/proc_mips.ml b/asmcomp/proc_mips.ml index a020954bf..fc5ed7a6c 100644 --- a/asmcomp/proc_mips.ml +++ b/asmcomp/proc_mips.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Description of the Mips processor *) open Misc diff --git a/asmcomp/proc_sparc.ml b/asmcomp/proc_sparc.ml index 2a8fa1d98..4dea3141e 100644 --- a/asmcomp/proc_sparc.ml +++ b/asmcomp/proc_sparc.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Description of the Sparc processor *) open Misc diff --git a/asmcomp/reg.ml b/asmcomp/reg.ml index 649a0b371..222a4a2ac 100644 --- a/asmcomp/reg.ml +++ b/asmcomp/reg.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + open Cmm type t = diff --git a/asmcomp/reg.mli b/asmcomp/reg.mli index d27d0c09f..26e05187b 100644 --- a/asmcomp/reg.mli +++ b/asmcomp/reg.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Pseudo-registers *) type t = diff --git a/asmcomp/reload.ml b/asmcomp/reload.ml index 557bcf942..2cab6e68e 100644 --- a/asmcomp/reload.ml +++ b/asmcomp/reload.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Insert load/stores for pseudoregs that got assigned to stack locations. Insert moves to comply with calling conventions, etc. *) diff --git a/asmcomp/reload.mli b/asmcomp/reload.mli index 5838c98d0..2ce07c87a 100644 --- a/asmcomp/reload.mli +++ b/asmcomp/reload.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Insert load/stores for pseudoregs that got assigned to stack locations. Insert moves to comply with calling conventions, etc. *) diff --git a/asmcomp/selection.ml b/asmcomp/selection.ml index b3f2f22a6..9d2614097 100644 --- a/asmcomp/selection.ml +++ b/asmcomp/selection.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Selection of pseudo-instructions, assignment of pseudo-registers, sequentialization. *) diff --git a/asmcomp/selection.mli b/asmcomp/selection.mli index 8e8825764..4279e594b 100644 --- a/asmcomp/selection.mli +++ b/asmcomp/selection.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Selection of pseudo-instructions, assignment of pseudo-registers, sequentialization. *) diff --git a/asmcomp/spill.ml b/asmcomp/spill.ml index 2543e9f49..7af765ae5 100644 --- a/asmcomp/spill.ml +++ b/asmcomp/spill.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Insertion of moves to suggest possible spilling / reloading points before register allocation. *) diff --git a/asmcomp/spill.mli b/asmcomp/spill.mli index 0de9e1699..83ced7bb6 100644 --- a/asmcomp/spill.mli +++ b/asmcomp/spill.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Insertion of moves to suggest possible spilling / reloading points before register allocation. *) diff --git a/asmcomp/split.ml b/asmcomp/split.ml index dced8926d..ffd10a186 100644 --- a/asmcomp/split.ml +++ b/asmcomp/split.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Renaming of registers at reload points to split live ranges. *) open Reg diff --git a/asmcomp/split.mli b/asmcomp/split.mli index b88b9d9ab..508ec0623 100644 --- a/asmcomp/split.mli +++ b/asmcomp/split.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Renaming of registers at reload points to split live ranges. *) val fundecl: Mach.fundecl -> Mach.fundecl diff --git a/asmrun/alpha.asm b/asmrun/alpha.asm index 6e155bcf7..894f6c570 100644 --- a/asmrun/alpha.asm +++ b/asmrun/alpha.asm @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Asm part of the runtime system, Alpha processor */ .comm young_start 8 diff --git a/asmrun/array.c b/asmrun/array.c index 8a57db3fd..7209a4ec0 100644 --- a/asmrun/array.c +++ b/asmrun/array.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Operations on arrays */ #include "alloc.h" diff --git a/asmrun/fail.c b/asmrun/fail.c index 7d0fe4d3f..67c470d19 100644 --- a/asmrun/fail.c +++ b/asmrun/fail.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Raising exceptions from C. */ #include "alloc.h" diff --git a/asmrun/i386.asm b/asmrun/i386.asm index f04b82ad1..a16d25d1b 100644 --- a/asmrun/i386.asm +++ b/asmrun/i386.asm @@ -1,3 +1,16 @@ +#*********************************************************************# +# # +# Caml Special Light # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# Copyright 1995 Institut National de Recherche en Informatique et # +# Automatique. Distributed only by permission. # +# # +#*********************************************************************# + +# $Id$ # + # Asm part of the runtime system, Intel 386 processor .comm _young_start, 4 diff --git a/asmrun/main.c b/asmrun/main.c index 8914c44fe..3e6dcceca 100644 --- a/asmrun/main.c +++ b/asmrun/main.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Start-up code */ #include <stdio.h> diff --git a/asmrun/mips.asm b/asmrun/mips.asm index 4f845b3bd..7394d7e26 100644 --- a/asmrun/mips.asm +++ b/asmrun/mips.asm @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Asm part of the runtime system, Mips processor */ .comm young_start, 4 diff --git a/asmrun/roots.c b/asmrun/roots.c index 388a40cc6..161885859 100644 --- a/asmrun/roots.c +++ b/asmrun/roots.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* To walk the memory roots for garbage collection */ #include "memory.h" diff --git a/asmrun/signals.c b/asmrun/signals.c index 0e287a651..a944745cb 100644 --- a/asmrun/signals.c +++ b/asmrun/signals.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "misc.h" #include "mlvalues.h" #include "fail.h" diff --git a/asmrun/sparc.asm b/asmrun/sparc.asm index 32fcebe68..ce6f3fc3f 100644 --- a/asmrun/sparc.asm +++ b/asmrun/sparc.asm @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Asm part of the runtime system for the Sparc processor. */ /* Must be preprocessed by cpp */ diff --git a/bytecomp/bytegen.ml b/bytecomp/bytegen.ml index 494b267b4..e1ddc3f57 100644 --- a/bytecomp/bytegen.ml +++ b/bytecomp/bytegen.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* bytegen.ml : translation of lambda terms to lists of instructions. *) open Misc diff --git a/bytecomp/bytegen.mli b/bytecomp/bytegen.mli index 97cb863e3..494e89c51 100644 --- a/bytecomp/bytegen.mli +++ b/bytecomp/bytegen.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Generation of bytecode from lambda terms *) open Lambda diff --git a/bytecomp/bytelibrarian.ml b/bytecomp/bytelibrarian.ml index bd987325c..d7dc06009 100644 --- a/bytecomp/bytelibrarian.ml +++ b/bytecomp/bytelibrarian.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Build libraries of .cmo files *) open Misc diff --git a/bytecomp/bytelibrarian.mli b/bytecomp/bytelibrarian.mli index ee9c9f378..4684aedb7 100644 --- a/bytecomp/bytelibrarian.mli +++ b/bytecomp/bytelibrarian.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Build libraries of .cmo files *) (* Format of a library file: diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml index c9e2507d6..2f4615712 100644 --- a/bytecomp/bytelink.ml +++ b/bytecomp/bytelink.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Link a set of .cmo files and produce a bytecode executable. *) open Sys diff --git a/bytecomp/bytelink.mli b/bytecomp/bytelink.mli index b4c57e632..aebd42f5f 100644 --- a/bytecomp/bytelink.mli +++ b/bytecomp/bytelink.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Link .cmo files and produce a bytecode executable. *) val link: string list -> unit diff --git a/bytecomp/dectree.ml b/bytecomp/dectree.ml index bb34258e1..1ad74dd54 100644 --- a/bytecomp/dectree.ml +++ b/bytecomp/dectree.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + open Lambda diff --git a/bytecomp/dectree.mli b/bytecomp/dectree.mli index 40c478abc..f7dfa13c8 100644 --- a/bytecomp/dectree.mli +++ b/bytecomp/dectree.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Transformation of N-way integer branches *) open Lambda diff --git a/bytecomp/emitcode.ml b/bytecomp/emitcode.ml index 186d48894..f475f4403 100644 --- a/bytecomp/emitcode.ml +++ b/bytecomp/emitcode.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Generation of bytecode + relocation information *) open Config diff --git a/bytecomp/emitcode.mli b/bytecomp/emitcode.mli index 288e779f5..f2dfa8e9b 100644 --- a/bytecomp/emitcode.mli +++ b/bytecomp/emitcode.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Generation of bytecode for .cmo files *) open Lambda diff --git a/bytecomp/instruct.ml b/bytecomp/instruct.ml index 1c91c03e9..001dc2639 100644 --- a/bytecomp/instruct.ml +++ b/bytecomp/instruct.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + open Lambda type label = int (* Symbolic code labels *) diff --git a/bytecomp/instruct.mli b/bytecomp/instruct.mli index 4279e0c71..afcbdf8a2 100644 --- a/bytecomp/instruct.mli +++ b/bytecomp/instruct.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The type of the instructions of the abstract machine *) open Lambda diff --git a/bytecomp/lambda.ml b/bytecomp/lambda.ml index 0425799cb..01dd26d01 100644 --- a/bytecomp/lambda.ml +++ b/bytecomp/lambda.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + open Path open Asttypes open Typedtree diff --git a/bytecomp/lambda.mli b/bytecomp/lambda.mli index 414bdd431..8710902e6 100644 --- a/bytecomp/lambda.mli +++ b/bytecomp/lambda.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The "lambda" intermediate code *) open Asttypes diff --git a/bytecomp/matching.ml b/bytecomp/matching.ml index 68650f10d..35d18e0e5 100644 --- a/bytecomp/matching.ml +++ b/bytecomp/matching.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Compilation of pattern matching *) open Misc diff --git a/bytecomp/matching.mli b/bytecomp/matching.mli index 89914ac16..3c8d99d82 100644 --- a/bytecomp/matching.mli +++ b/bytecomp/matching.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Compilation of pattern-matching *) open Typedtree diff --git a/bytecomp/meta.ml b/bytecomp/meta.ml index 08077cf99..715421967 100644 --- a/bytecomp/meta.ml +++ b/bytecomp/meta.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + external global_data : unit -> Obj.t array = "get_global_data" external realloc_global_data : int -> unit = "realloc_global" external static_alloc : int -> string = "static_alloc" diff --git a/bytecomp/meta.mli b/bytecomp/meta.mli index 9987ba7e8..f64bc390e 100644 --- a/bytecomp/meta.mli +++ b/bytecomp/meta.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* To control the runtime system and bytecode interpreter *) external global_data : unit -> Obj.t array = "get_global_data" diff --git a/bytecomp/printinstr.ml b/bytecomp/printinstr.ml index 0693b6a9e..ca9e85475 100644 --- a/bytecomp/printinstr.ml +++ b/bytecomp/printinstr.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Pretty-print lists of instructions *) open Format diff --git a/bytecomp/printinstr.mli b/bytecomp/printinstr.mli index 6ccadfedd..0652c3d8d 100644 --- a/bytecomp/printinstr.mli +++ b/bytecomp/printinstr.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Pretty-print lists of instructions *) open Instruct diff --git a/bytecomp/printlambda.ml b/bytecomp/printlambda.ml index ea1adca14..0232ed6e0 100644 --- a/bytecomp/printlambda.ml +++ b/bytecomp/printlambda.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + open Format open Asttypes open Primitive diff --git a/bytecomp/printlambda.mli b/bytecomp/printlambda.mli index 3dbebb701..44457559b 100644 --- a/bytecomp/printlambda.mli +++ b/bytecomp/printlambda.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + open Lambda val structured_constant: structured_constant -> unit diff --git a/bytecomp/runtimedef.mli b/bytecomp/runtimedef.mli index 48ba14599..87272091f 100644 --- a/bytecomp/runtimedef.mli +++ b/bytecomp/runtimedef.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Values and functions known and/or provided by the runtime system *) val builtin_exceptions: string array diff --git a/bytecomp/symtable.ml b/bytecomp/symtable.ml index d222c2d99..427320319 100644 --- a/bytecomp/symtable.ml +++ b/bytecomp/symtable.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* To assign numbers to globals and primitives *) open Misc diff --git a/bytecomp/symtable.mli b/bytecomp/symtable.mli index 0fec14019..5622ad76f 100644 --- a/bytecomp/symtable.mli +++ b/bytecomp/symtable.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Assign locations and numbers to globals and primitives *) open Emitcode diff --git a/bytecomp/translcore.ml b/bytecomp/translcore.ml index 76cf1f444..e1415947d 100644 --- a/bytecomp/translcore.ml +++ b/bytecomp/translcore.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Translation from typed abstract syntax to lambda terms, for the core language *) diff --git a/bytecomp/translcore.mli b/bytecomp/translcore.mli index 929112962..7bcfb6aca 100644 --- a/bytecomp/translcore.mli +++ b/bytecomp/translcore.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Translation from typed abstract syntax to lambda terms, for the core language *) diff --git a/bytecomp/translmod.ml b/bytecomp/translmod.ml index 550986895..82886feec 100644 --- a/bytecomp/translmod.ml +++ b/bytecomp/translmod.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Translation from typed abstract syntax to lambda terms, for the module language *) diff --git a/bytecomp/translmod.mli b/bytecomp/translmod.mli index 067b2b6db..f186b5c28 100644 --- a/bytecomp/translmod.mli +++ b/bytecomp/translmod.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Translation from typed abstract syntax to lambda terms, for the module language *) diff --git a/byterun/alloc.c b/byterun/alloc.c index d5ed621b5..0c0212fe3 100644 --- a/byterun/alloc.c +++ b/byterun/alloc.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* 1. Allocation functions doing the same work as the macros in the case where [Setup_for_gc] and [Restore_after_gc] are no-ops. 2. Convenience functions related to allocation. diff --git a/byterun/alloc.h b/byterun/alloc.h index 5b0a1029a..b29ba5041 100644 --- a/byterun/alloc.h +++ b/byterun/alloc.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #ifndef _alloc_ #define _alloc_ diff --git a/byterun/array.c b/byterun/array.c index 304cc545e..172156d7c 100644 --- a/byterun/array.c +++ b/byterun/array.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Operations on arrays */ #include "alloc.h" diff --git a/byterun/compare.c b/byterun/compare.c index 99c26321d..c8e9620bf 100644 --- a/byterun/compare.c +++ b/byterun/compare.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "fail.h" #include "memory.h" #include "misc.h" diff --git a/byterun/config.h b/byterun/config.h index 7d15d4dc3..276571352 100644 --- a/byterun/config.h +++ b/byterun/config.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #ifndef _config_ #define _config_ diff --git a/byterun/crc.c b/byterun/crc.c index 0e961b349..77446e159 100644 --- a/byterun/crc.c +++ b/byterun/crc.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* CRC computation */ #include "io.h" diff --git a/byterun/exec.h b/byterun/exec.h index 1590dc0a4..3ba540865 100644 --- a/byterun/exec.h +++ b/byterun/exec.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* exec.h : format of executable bytecode files */ /* offset 0 ---> initial junk diff --git a/byterun/extern.c b/byterun/extern.c index 942424a82..31957de07 100644 --- a/byterun/extern.c +++ b/byterun/extern.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Structured output */ #include "fail.h" diff --git a/byterun/fail.c b/byterun/fail.c index 8f0b00e9d..acdb6f623 100644 --- a/byterun/fail.c +++ b/byterun/fail.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Raising exceptions from C. */ #include "alloc.h" diff --git a/byterun/fail.h b/byterun/fail.h index 76a88b7eb..86e9e6001 100644 --- a/byterun/fail.h +++ b/byterun/fail.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #ifndef _fail_ #define _fail_ diff --git a/byterun/fix_code.c b/byterun/fix_code.c index e54549463..5d281f951 100644 --- a/byterun/fix_code.c +++ b/byterun/fix_code.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Translate a block of bytecode (endianness switch, threading). */ #include "config.h" diff --git a/byterun/fix_code.h b/byterun/fix_code.h index c754fad27..18df9ed17 100644 --- a/byterun/fix_code.h +++ b/byterun/fix_code.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Translate a block of bytecode (endianness switch, threading). */ #ifndef _fix_code_ diff --git a/byterun/floats.c b/byterun/floats.c index f147881d6..041ea0831 100644 --- a/byterun/floats.c +++ b/byterun/floats.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <math.h> #include <stdio.h> #include <stdlib.h> diff --git a/byterun/freelist.c b/byterun/freelist.c index eefd43d48..1bb4ad4ad 100644 --- a/byterun/freelist.c +++ b/byterun/freelist.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Damien Doligez, projet Para, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "config.h" #include "freelist.h" #include "gc.h" diff --git a/byterun/freelist.h b/byterun/freelist.h index 1f1aef9a7..370391fb6 100644 --- a/byterun/freelist.h +++ b/byterun/freelist.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Damien Doligez, projet Para, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Free lists of heap blocks. */ #ifndef _freelist_ diff --git a/byterun/gc.h b/byterun/gc.h index b772f2f28..89d5c7d10 100644 --- a/byterun/gc.h +++ b/byterun/gc.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Damien Doligez, projet Para, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #ifndef _gc_ #define _gc_ diff --git a/byterun/gc_ctrl.c b/byterun/gc_ctrl.c index 9e4f270cc..9be12687e 100644 --- a/byterun/gc_ctrl.c +++ b/byterun/gc_ctrl.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Damien Doligez, projet Para, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "alloc.h" #include "gc.h" #include "gc_ctrl.h" diff --git a/byterun/gc_ctrl.h b/byterun/gc_ctrl.h index 5a88a9ab6..c74b458a9 100644 --- a/byterun/gc_ctrl.h +++ b/byterun/gc_ctrl.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Damien Doligez, projet Para, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #ifndef _gc_ctrl_ #define _gc_ctrl_ diff --git a/byterun/hash.c b/byterun/hash.c index b7a6f0a3d..1f8cb5bfc 100644 --- a/byterun/hash.c +++ b/byterun/hash.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* The generic hashing primitive */ #include "mlvalues.h" diff --git a/byterun/instrtrace.c b/byterun/instrtrace.c index 95d0facd7..5592bd047 100644 --- a/byterun/instrtrace.c +++ b/byterun/instrtrace.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Trace the instructions executed */ #ifdef DEBUG diff --git a/byterun/instrtrace.h b/byterun/instrtrace.h index c47b39781..bc87693ff 100644 --- a/byterun/instrtrace.h +++ b/byterun/instrtrace.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Trace the instructions executed */ #ifndef _instrtrace_ diff --git a/byterun/instruct.h b/byterun/instruct.h index 1ada33e5a..9a306bdb3 100644 --- a/byterun/instruct.h +++ b/byterun/instruct.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* The instruction set. */ enum instructions { diff --git a/byterun/intern.c b/byterun/intern.c index b1b3b0c46..b31cc456c 100644 --- a/byterun/intern.c +++ b/byterun/intern.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Structured input, compact format */ #include "fail.h" diff --git a/byterun/interp.c b/byterun/interp.c index e7789f827..fd153152c 100644 --- a/byterun/interp.c +++ b/byterun/interp.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* The bytecode interpreter */ #include "alloc.h" diff --git a/byterun/interp.h b/byterun/interp.h index f6d07e059..822d7e0a4 100644 --- a/byterun/interp.h +++ b/byterun/interp.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* The bytecode interpreter */ #ifndef _interp_ diff --git a/byterun/intext.h b/byterun/intext.h index 87681ff0e..5247b00a8 100644 --- a/byterun/intext.h +++ b/byterun/intext.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Structured input/output */ #ifndef __intext__ diff --git a/byterun/ints.c b/byterun/ints.c index a8fc6ebb4..caf37c0be 100644 --- a/byterun/ints.c +++ b/byterun/ints.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <stdio.h> #include "alloc.h" #include "fail.h" diff --git a/byterun/io.c b/byterun/io.c index 66b872cf9..50a0ee4e5 100644 --- a/byterun/io.c +++ b/byterun/io.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Buffered input/output. */ #include <errno.h> diff --git a/byterun/io.h b/byterun/io.h index d679886cb..75fbd9e96 100644 --- a/byterun/io.h +++ b/byterun/io.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Buffered input/output */ #ifndef _io_ diff --git a/byterun/main.c b/byterun/main.c index 9c7ee844b..1f8b830d6 100644 --- a/byterun/main.c +++ b/byterun/main.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Start-up code */ #include <stdio.h> diff --git a/byterun/major_gc.c b/byterun/major_gc.c index 3eaf9ea82..821ecef6a 100644 --- a/byterun/major_gc.c +++ b/byterun/major_gc.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Damien Doligez, projet Para, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "config.h" #include "fail.h" #include "freelist.h" diff --git a/byterun/major_gc.h b/byterun/major_gc.h index 67adbbdfd..478bb2676 100644 --- a/byterun/major_gc.h +++ b/byterun/major_gc.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Damien Doligez, projet Para, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #ifndef _major_gc_ #define _major_gc_ diff --git a/byterun/memory.c b/byterun/memory.c index c8c40edde..77ab3e77b 100644 --- a/byterun/memory.c +++ b/byterun/memory.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Damien Doligez, projet Para, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <string.h> #include "fail.h" #include "freelist.h" diff --git a/byterun/memory.h b/byterun/memory.h index 35534feec..08c48af56 100644 --- a/byterun/memory.h +++ b/byterun/memory.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Damien Doligez, projet Para, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Allocation macros and functions */ #ifndef _memory_ diff --git a/byterun/meta.c b/byterun/meta.c index 969898114..4bb69b282 100644 --- a/byterun/meta.c +++ b/byterun/meta.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Primitives for the toplevel */ #include "alloc.h" diff --git a/byterun/minor_gc.c b/byterun/minor_gc.c index 96157f826..6f35bc43d 100644 --- a/byterun/minor_gc.c +++ b/byterun/minor_gc.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Damien Doligez, projet Para, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <string.h> #include "config.h" #include "fail.h" diff --git a/byterun/minor_gc.h b/byterun/minor_gc.h index 36174342c..8458d5c95 100644 --- a/byterun/minor_gc.h +++ b/byterun/minor_gc.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Damien Doligez, projet Para, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #ifndef _minor_gc_ #define _minor_gc_ diff --git a/byterun/misc.c b/byterun/misc.c index e265e54ea..324256062 100644 --- a/byterun/misc.c +++ b/byterun/misc.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <stdio.h> #include "config.h" #include "misc.h" diff --git a/byterun/misc.h b/byterun/misc.h index d1076675a..7e0e5cbe2 100644 --- a/byterun/misc.h +++ b/byterun/misc.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Miscellaneous macros and variables. */ #ifndef _misc_ diff --git a/byterun/mlvalues.h b/byterun/mlvalues.h index d4828548b..106e73ff9 100644 --- a/byterun/mlvalues.h +++ b/byterun/mlvalues.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #ifndef _mlvalues_ #define _mlvalues_ diff --git a/byterun/obj.c b/byterun/obj.c index 5966ef543..29b951ea3 100644 --- a/byterun/obj.c +++ b/byterun/obj.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Operations on objects */ #include "alloc.h" diff --git a/byterun/parsing.c b/byterun/parsing.c index 146b7f29e..0ebdfcb96 100644 --- a/byterun/parsing.c +++ b/byterun/parsing.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* The PDA automaton for parsers generated by camlyacc */ #include <stdio.h> diff --git a/byterun/prims.h b/byterun/prims.h index 78478ce7a..93e8cdb33 100644 --- a/byterun/prims.h +++ b/byterun/prims.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Interface with C primitives. */ #ifndef _prims_ diff --git a/byterun/reverse.h b/byterun/reverse.h index 74e5ccbc2..85e637070 100644 --- a/byterun/reverse.h +++ b/byterun/reverse.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Swap byte-order in 16-bit, 32-bit and 64-bit words */ #ifndef _reverse_ diff --git a/byterun/roots.c b/byterun/roots.c index 0a3f780fa..4a44c00dd 100644 --- a/byterun/roots.c +++ b/byterun/roots.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* To walk the memory roots for garbage collection */ #include "memory.h" diff --git a/byterun/roots.h b/byterun/roots.h index 5f5ff5b84..d317e3da0 100644 --- a/byterun/roots.h +++ b/byterun/roots.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #ifndef _roots_ #define _roots_ diff --git a/byterun/signals.c b/byterun/signals.c index a16a00c5a..e585b4931 100644 --- a/byterun/signals.c +++ b/byterun/signals.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <signal.h> #include "alloc.h" #include "config.h" diff --git a/byterun/signals.h b/byterun/signals.h index 83fbb043c..bdeb3ecf8 100644 --- a/byterun/signals.h +++ b/byterun/signals.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #ifndef _signals_ #define _signals_ diff --git a/byterun/stacks.c b/byterun/stacks.c index c83153859..746ec4c80 100644 --- a/byterun/stacks.c +++ b/byterun/stacks.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* To initialize and resize the stacks */ #include <string.h> diff --git a/byterun/stacks.h b/byterun/stacks.h index aa68532f8..8254d4a45 100644 --- a/byterun/stacks.h +++ b/byterun/stacks.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* structure of the stacks */ #ifndef _stacks_ diff --git a/byterun/str.c b/byterun/str.c index 10d684740..dc1f65298 100644 --- a/byterun/str.c +++ b/byterun/str.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Operations on strings */ #include <string.h> diff --git a/byterun/str.h b/byterun/str.h index 6f6373e57..edb3d47da 100644 --- a/byterun/str.h +++ b/byterun/str.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #ifndef _str_ #define _str_ diff --git a/byterun/sys.c b/byterun/sys.c index 74130e3a6..fd5524e73 100644 --- a/byterun/sys.c +++ b/byterun/sys.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Basic system calls */ #include <errno.h> diff --git a/byterun/sys.h b/byterun/sys.h index 1d4e3b7a2..eae01d217 100644 --- a/byterun/sys.h +++ b/byterun/sys.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #ifndef _sys_ #define _sys_ diff --git a/byterun/terminfo.c b/byterun/terminfo.c index 968355b72..30385cc66 100644 --- a/byterun/terminfo.c +++ b/byterun/terminfo.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Read and output terminal commands */ #include "config.h" diff --git a/config/auto-aux/align.c b/config/auto-aux/align.c index 15efbd4f7..035f76bfb 100644 --- a/config/auto-aux/align.c +++ b/config/auto-aux/align.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <stdio.h> #include <signal.h> #include <setjmp.h> diff --git a/config/auto-aux/async_io.c b/config/auto-aux/async_io.c index 2fb04a6c6..ca2b2ca0a 100644 --- a/config/auto-aux/async_io.c +++ b/config/auto-aux/async_io.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <stdio.h> #include <fcntl.h> #include <signal.h> diff --git a/config/auto-aux/bytecopy.c b/config/auto-aux/bytecopy.c index 61fbb18d5..fe43dbd8a 100644 --- a/config/auto-aux/bytecopy.c +++ b/config/auto-aux/bytecopy.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + char buffer[27]; #ifdef reverse diff --git a/config/auto-aux/dblalign.c b/config/auto-aux/dblalign.c index dd3099ab6..dec0caa96 100644 --- a/config/auto-aux/dblalign.c +++ b/config/auto-aux/dblalign.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <stdio.h> #include <signal.h> #include <setjmp.h> diff --git a/config/auto-aux/endian.c b/config/auto-aux/endian.c index 776ab0483..187fecab0 100644 --- a/config/auto-aux/endian.c +++ b/config/auto-aux/endian.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "m.h" #ifndef SIXTYFOUR diff --git a/config/auto-aux/getgroups.c b/config/auto-aux/getgroups.c index 8520c5c67..3b26df7a4 100644 --- a/config/auto-aux/getgroups.c +++ b/config/auto-aux/getgroups.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <sys/types.h> #include <sys/param.h> diff --git a/config/auto-aux/schar.c b/config/auto-aux/schar.c index 3890c495a..7f0034ce6 100644 --- a/config/auto-aux/schar.c +++ b/config/auto-aux/schar.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + char foo[]="\377"; main() { diff --git a/config/auto-aux/schar2.c b/config/auto-aux/schar2.c index 0c6a6ce4b..b7d841070 100644 --- a/config/auto-aux/schar2.c +++ b/config/auto-aux/schar2.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + signed char foo[]="\377"; main() { diff --git a/config/auto-aux/setjmp.c b/config/auto-aux/setjmp.c index 0867e62bb..430b12d39 100644 --- a/config/auto-aux/setjmp.c +++ b/config/auto-aux/setjmp.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <setjmp.h> main() diff --git a/config/auto-aux/sighandler.c b/config/auto-aux/sighandler.c index d8d2e5df4..e47669dc1 100644 --- a/config/auto-aux/sighandler.c +++ b/config/auto-aux/sighandler.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <signal.h> main() diff --git a/config/auto-aux/signals.c b/config/auto-aux/signals.c index c355545d8..2827c3021 100644 --- a/config/auto-aux/signals.c +++ b/config/auto-aux/signals.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* To determine the semantics of signal handlers (System V: signal is reset to default behavior on entrance to the handler BSD: signal handler remains active). */ diff --git a/config/auto-aux/sizes.c b/config/auto-aux/sizes.c index 02ce67506..fd0a50999 100644 --- a/config/auto-aux/sizes.c +++ b/config/auto-aux/sizes.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + int main(argc, argv) int argc; char ** argv; diff --git a/config/autoconf b/config/autoconf index de80a0a5a..91f876a75 100755 --- a/config/autoconf +++ b/config/autoconf @@ -1,5 +1,18 @@ #!/bin/sh +#*********************************************************************# +# # +# Caml Special Light # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# Copyright 1995 Institut National de Recherche en Informatique et # +# Automatique. Distributed only by permission. # +# # +#*********************************************************************# + +# $Id$ # + case $1 in "") cc=cc;; *) cc=$1;; diff --git a/config/m-templ.h b/config/m-templ.h index 803f5dfb4..f6a68fae7 100644 --- a/config/m-templ.h +++ b/config/m-templ.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Processor dependencies */ #define BIG_ENDIAN diff --git a/config/s-templ.h b/config/s-templ.h index d0bd26ae2..eb4405764 100644 --- a/config/s-templ.h +++ b/config/s-templ.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* Operating system and standard library dependencies. */ /* 0. This is a Unix machine. */ diff --git a/driver/compile.ml b/driver/compile.ml index 03205a66f..0cf5b3ef4 100644 --- a/driver/compile.ml +++ b/driver/compile.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The batch compiler *) open Misc diff --git a/driver/compile.mli b/driver/compile.mli index 0df7451f3..5dc85f270 100644 --- a/driver/compile.mli +++ b/driver/compile.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Compile a .ml or .mli file *) val interface: string -> unit diff --git a/driver/errors.ml b/driver/errors.ml index f17314ad2..28d1846b8 100644 --- a/driver/errors.ml +++ b/driver/errors.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Error report *) open Format diff --git a/driver/errors.mli b/driver/errors.mli index abe863615..3c5747413 100644 --- a/driver/errors.mli +++ b/driver/errors.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Error report *) val report_error: exn -> unit diff --git a/driver/main.ml b/driver/main.ml index a63ae7eb1..fd2858ab6 100644 --- a/driver/main.ml +++ b/driver/main.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + open Clflags let process_file name = diff --git a/driver/optcompile.ml b/driver/optcompile.ml index 94b6392f3..69788b372 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The batch compiler *) open Misc diff --git a/driver/optcompile.mli b/driver/optcompile.mli index 0df7451f3..5dc85f270 100644 --- a/driver/optcompile.mli +++ b/driver/optcompile.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Compile a .ml or .mli file *) val interface: string -> unit diff --git a/driver/opterrors.ml b/driver/opterrors.ml index e0948bf32..23d15ae49 100644 --- a/driver/opterrors.ml +++ b/driver/opterrors.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Error report *) open Format diff --git a/driver/opterrors.mli b/driver/opterrors.mli index abe863615..3c5747413 100644 --- a/driver/opterrors.mli +++ b/driver/opterrors.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Error report *) val report_error: exn -> unit diff --git a/driver/optmain.ml b/driver/optmain.ml index 69508b7d1..b5d5edc6e 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + open Clflags let process_file name = diff --git a/lex/lexer.mli b/lex/lexer.mli index 6e0b4a507..d82ce8348 100644 --- a/lex/lexer.mli +++ b/lex/lexer.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + val main: Lexing.lexbuf -> Parser.token exception Lexical_error of string diff --git a/lex/lexer.mll b/lex/lexer.mll index 49ea25c48..8e6d6f721 100644 --- a/lex/lexer.mll +++ b/lex/lexer.mll @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The lexical analyzer for lexer definitions. Bootstrapped! *) { diff --git a/lex/lexgen.ml b/lex/lexgen.ml index 687041947..25085fb03 100644 --- a/lex/lexgen.ml +++ b/lex/lexgen.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Compiling a lexer definition *) open Syntax diff --git a/lex/main.ml b/lex/main.ml index aaefe487d..4c124e312 100644 --- a/lex/main.ml +++ b/lex/main.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The lexer generator. Command-line parsing. *) open Syntax diff --git a/lex/output.ml b/lex/output.ml index b3ca459c1..72fd58da9 100644 --- a/lex/output.ml +++ b/lex/output.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Generating a DFA as a set of mutually recursive functions *) open Syntax diff --git a/lex/parser.mly b/lex/parser.mly index e8851df10..22abedb43 100644 --- a/lex/parser.mly +++ b/lex/parser.mly @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* The grammar for lexer definitions */ %{ diff --git a/lex/syntax.ml b/lex/syntax.ml index f692e6f62..6685f8e7e 100644 --- a/lex/syntax.ml +++ b/lex/syntax.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The shallow abstract syntax *) type location = diff --git a/otherlibs/graph/color.c b/otherlibs/graph/color.c index 22ffc2925..cc6cadd26 100644 --- a/otherlibs/graph/color.c +++ b/otherlibs/graph/color.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "libgraph.h" /* Cache to speed up the translation rgb -> pixel value. */ diff --git a/otherlibs/graph/draw.c b/otherlibs/graph/draw.c index 8f41b5988..d2c4f8e69 100644 --- a/otherlibs/graph/draw.c +++ b/otherlibs/graph/draw.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "libgraph.h" #include <alloc.h> diff --git a/otherlibs/graph/dump_img.c b/otherlibs/graph/dump_img.c index 1578acb36..f3b09fe26 100644 --- a/otherlibs/graph/dump_img.c +++ b/otherlibs/graph/dump_img.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "libgraph.h" #include "image.h" #include <memory.h> diff --git a/otherlibs/graph/events.c b/otherlibs/graph/events.c index 7cb949d9b..c82a7461f 100644 --- a/otherlibs/graph/events.c +++ b/otherlibs/graph/events.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <signal.h> #include "libgraph.h" #include <alloc.h> diff --git a/otherlibs/graph/fill.c b/otherlibs/graph/fill.c index 66e728553..990d8f68a 100644 --- a/otherlibs/graph/fill.c +++ b/otherlibs/graph/fill.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "libgraph.h" #include <memory.h> diff --git a/otherlibs/graph/graphics.ml b/otherlibs/graph/graphics.ml index c9e5f1551..7c3045670 100644 --- a/otherlibs/graph/graphics.ml +++ b/otherlibs/graph/graphics.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + exception Graphic_failure of string (* Initializations *) diff --git a/otherlibs/graph/graphics.mli b/otherlibs/graph/graphics.mli index 9397432ff..b6a91f6f7 100644 --- a/otherlibs/graph/graphics.mli +++ b/otherlibs/graph/graphics.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Machine-independent graphics primitives *) exception Graphic_failure of string diff --git a/otherlibs/graph/image.c b/otherlibs/graph/image.c index 75b685a87..fc352c5cb 100644 --- a/otherlibs/graph/image.c +++ b/otherlibs/graph/image.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "libgraph.h" #include "image.h" #include <alloc.h> diff --git a/otherlibs/graph/image.h b/otherlibs/graph/image.h index 761cb16aa..afe3a60ca 100644 --- a/otherlibs/graph/image.h +++ b/otherlibs/graph/image.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + struct grimage { final_fun f; /* Finalization function */ int width, height; /* Dimensions of the image */ diff --git a/otherlibs/graph/libgraph.h b/otherlibs/graph/libgraph.h index 60b9f6db9..29137cc46 100644 --- a/otherlibs/graph/libgraph.h +++ b/otherlibs/graph/libgraph.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <stdio.h> #include <X11/Xlib.h> #include <X11/Xutil.h> diff --git a/otherlibs/graph/make_img.c b/otherlibs/graph/make_img.c index 6c9570def..f655f7739 100644 --- a/otherlibs/graph/make_img.c +++ b/otherlibs/graph/make_img.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "libgraph.h" #include "image.h" #include <memory.h> diff --git a/otherlibs/graph/open.c b/otherlibs/graph/open.c index 4354033b9..3906ae29e 100644 --- a/otherlibs/graph/open.c +++ b/otherlibs/graph/open.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <fcntl.h> #include <signal.h> #include "libgraph.h" diff --git a/otherlibs/graph/point_col.c b/otherlibs/graph/point_col.c index 757cf4720..c70709c7b 100644 --- a/otherlibs/graph/point_col.c +++ b/otherlibs/graph/point_col.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "libgraph.h" value gr_point_color(vx, vy) diff --git a/otherlibs/graph/sound.c b/otherlibs/graph/sound.c index 4ca4b29a7..4d9dbfd23 100644 --- a/otherlibs/graph/sound.c +++ b/otherlibs/graph/sound.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "libgraph.h" value gr_sound(vfreq, vdur) diff --git a/otherlibs/graph/text.c b/otherlibs/graph/text.c index 22961f528..a449de964 100644 --- a/otherlibs/graph/text.c +++ b/otherlibs/graph/text.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "libgraph.h" XFontStruct * grfont = NULL; diff --git a/otherlibs/unix/accept.c b/otherlibs/unix/accept.c index 001866319..181970e22 100644 --- a/otherlibs/unix/accept.c +++ b/otherlibs/unix/accept.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/access.c b/otherlibs/unix/access.c index d23ee68b6..d3cd59205 100644 --- a/otherlibs/unix/access.c +++ b/otherlibs/unix/access.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/addrofstr.c b/otherlibs/unix/addrofstr.c index 393e32fb0..0070f1262 100644 --- a/otherlibs/unix/addrofstr.c +++ b/otherlibs/unix/addrofstr.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <fail.h> #include "unix.h" diff --git a/otherlibs/unix/alarm.c b/otherlibs/unix/alarm.c index a4bd78c9d..51dfaf9b4 100644 --- a/otherlibs/unix/alarm.c +++ b/otherlibs/unix/alarm.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/bind.c b/otherlibs/unix/bind.c index 1684ccb18..06ea00eca 100644 --- a/otherlibs/unix/bind.c +++ b/otherlibs/unix/bind.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/chdir.c b/otherlibs/unix/chdir.c index ec7aeb465..146dc5a12 100644 --- a/otherlibs/unix/chdir.c +++ b/otherlibs/unix/chdir.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/chmod.c b/otherlibs/unix/chmod.c index ebfa6368b..7d2d68d50 100644 --- a/otherlibs/unix/chmod.c +++ b/otherlibs/unix/chmod.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/chown.c b/otherlibs/unix/chown.c index b7ea57d6d..5f3fcbf55 100644 --- a/otherlibs/unix/chown.c +++ b/otherlibs/unix/chown.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/chroot.c b/otherlibs/unix/chroot.c index 6f5954b66..5c1df641e 100644 --- a/otherlibs/unix/chroot.c +++ b/otherlibs/unix/chroot.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/close.c b/otherlibs/unix/close.c index 47ea2ef1d..3d122c168 100644 --- a/otherlibs/unix/close.c +++ b/otherlibs/unix/close.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/closedir.c b/otherlibs/unix/closedir.c index 2701e51d6..e418a1887 100644 --- a/otherlibs/unix/closedir.c +++ b/otherlibs/unix/closedir.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" #include <sys/types.h> diff --git a/otherlibs/unix/connect.c b/otherlibs/unix/connect.c index 51eee4305..66f20ae66 100644 --- a/otherlibs/unix/connect.c +++ b/otherlibs/unix/connect.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/cst2constr.c b/otherlibs/unix/cst2constr.c index 7a0bb95ad..95967f2ec 100644 --- a/otherlibs/unix/cst2constr.c +++ b/otherlibs/unix/cst2constr.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <fail.h> #include "cst2constr.h" diff --git a/otherlibs/unix/cst2constr.h b/otherlibs/unix/cst2constr.h index e4b45b876..e46e5a1dc 100644 --- a/otherlibs/unix/cst2constr.h +++ b/otherlibs/unix/cst2constr.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #ifdef __STDC__ value cst_to_constr(int, int *, int, int); #else diff --git a/otherlibs/unix/cstringv.c b/otherlibs/unix/cstringv.c index 8c2fa1e56..d6a673603 100644 --- a/otherlibs/unix/cstringv.c +++ b/otherlibs/unix/cstringv.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <memory.h> #include "unix.h" diff --git a/otherlibs/unix/dup.c b/otherlibs/unix/dup.c index 5ee521305..d7cfd3aef 100644 --- a/otherlibs/unix/dup.c +++ b/otherlibs/unix/dup.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/dup2.c b/otherlibs/unix/dup2.c index e8fbc3647..9f2b406ed 100644 --- a/otherlibs/unix/dup2.c +++ b/otherlibs/unix/dup2.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/envir.c b/otherlibs/unix/envir.c index a9489fe87..9769e2efd 100644 --- a/otherlibs/unix/envir.c +++ b/otherlibs/unix/envir.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> diff --git a/otherlibs/unix/errmsg.c b/otherlibs/unix/errmsg.c index 2da459913..3e663f6d2 100644 --- a/otherlibs/unix/errmsg.c +++ b/otherlibs/unix/errmsg.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <errno.h> #include <mlvalues.h> #include <alloc.h> diff --git a/otherlibs/unix/execv.c b/otherlibs/unix/execv.c index 851d331cb..5404e11e9 100644 --- a/otherlibs/unix/execv.c +++ b/otherlibs/unix/execv.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <memory.h> #include "unix.h" diff --git a/otherlibs/unix/execve.c b/otherlibs/unix/execve.c index ecdad4104..74721c83e 100644 --- a/otherlibs/unix/execve.c +++ b/otherlibs/unix/execve.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <memory.h> #include "unix.h" diff --git a/otherlibs/unix/execvp.c b/otherlibs/unix/execvp.c index d8f77bfab..59f6c4848 100644 --- a/otherlibs/unix/execvp.c +++ b/otherlibs/unix/execvp.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <memory.h> #include "unix.h" diff --git a/otherlibs/unix/exit.c b/otherlibs/unix/exit.c index c3cf6572c..1c40845aa 100644 --- a/otherlibs/unix/exit.c +++ b/otherlibs/unix/exit.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/fchmod.c b/otherlibs/unix/fchmod.c index fd74353c0..f1864aaab 100644 --- a/otherlibs/unix/fchmod.c +++ b/otherlibs/unix/fchmod.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/fchown.c b/otherlibs/unix/fchown.c index 4aaa2ae55..4f963ff7f 100644 --- a/otherlibs/unix/fchown.c +++ b/otherlibs/unix/fchown.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/fcntl.c b/otherlibs/unix/fcntl.c index 14535c3e0..2f2c87111 100644 --- a/otherlibs/unix/fcntl.c +++ b/otherlibs/unix/fcntl.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/fork.c b/otherlibs/unix/fork.c index 046dd894c..d24b0a59a 100644 --- a/otherlibs/unix/fork.c +++ b/otherlibs/unix/fork.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/ftruncate.c b/otherlibs/unix/ftruncate.c index 769ff86fb..58ec40d08 100644 --- a/otherlibs/unix/ftruncate.c +++ b/otherlibs/unix/ftruncate.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/getcwd.c b/otherlibs/unix/getcwd.c index 7bbddf12d..bb1089759 100644 --- a/otherlibs/unix/getcwd.c +++ b/otherlibs/unix/getcwd.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/getegid.c b/otherlibs/unix/getegid.c index 482177410..f65391377 100644 --- a/otherlibs/unix/getegid.c +++ b/otherlibs/unix/getegid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/geteuid.c b/otherlibs/unix/geteuid.c index e7e8d4c4a..d91f1521c 100644 --- a/otherlibs/unix/geteuid.c +++ b/otherlibs/unix/geteuid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/getgid.c b/otherlibs/unix/getgid.c index 81debfa05..002baf9d0 100644 --- a/otherlibs/unix/getgid.c +++ b/otherlibs/unix/getgid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/getgr.c b/otherlibs/unix/getgr.c index 7cec68101..e12186a24 100644 --- a/otherlibs/unix/getgr.c +++ b/otherlibs/unix/getgr.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <fail.h> #include <alloc.h> diff --git a/otherlibs/unix/getgroups.c b/otherlibs/unix/getgroups.c index b5c1d52e4..ed9991b7e 100644 --- a/otherlibs/unix/getgroups.c +++ b/otherlibs/unix/getgroups.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> diff --git a/otherlibs/unix/gethost.c b/otherlibs/unix/gethost.c index a7dcdca36..b2c2c11c3 100644 --- a/otherlibs/unix/gethost.c +++ b/otherlibs/unix/gethost.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/gethostname.c b/otherlibs/unix/gethostname.c index 4c11c6b2a..04dcd4bb2 100644 --- a/otherlibs/unix/gethostname.c +++ b/otherlibs/unix/gethostname.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <sys/param.h> diff --git a/otherlibs/unix/getlogin.c b/otherlibs/unix/getlogin.c index 72274a7d9..115857c9f 100644 --- a/otherlibs/unix/getlogin.c +++ b/otherlibs/unix/getlogin.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/getpeername.c b/otherlibs/unix/getpeername.c index 9d2e36736..c2c767c1e 100644 --- a/otherlibs/unix/getpeername.c +++ b/otherlibs/unix/getpeername.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/getpid.c b/otherlibs/unix/getpid.c index b8082b95f..23abb2a61 100644 --- a/otherlibs/unix/getpid.c +++ b/otherlibs/unix/getpid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/getppid.c b/otherlibs/unix/getppid.c index 4b76b736e..4d0b38bc9 100644 --- a/otherlibs/unix/getppid.c +++ b/otherlibs/unix/getppid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/getproto.c b/otherlibs/unix/getproto.c index aed732de0..9510195d9 100644 --- a/otherlibs/unix/getproto.c +++ b/otherlibs/unix/getproto.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/getpw.c b/otherlibs/unix/getpw.c index 6a00f0fe9..75f042b49 100644 --- a/otherlibs/unix/getpw.c +++ b/otherlibs/unix/getpw.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/getserv.c b/otherlibs/unix/getserv.c index 0d2534a61..11da23153 100644 --- a/otherlibs/unix/getserv.c +++ b/otherlibs/unix/getserv.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/getsockname.c b/otherlibs/unix/getsockname.c index 40cc1a663..2d4876658 100644 --- a/otherlibs/unix/getsockname.c +++ b/otherlibs/unix/getsockname.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/getuid.c b/otherlibs/unix/getuid.c index 558e5e299..d79347e22 100644 --- a/otherlibs/unix/getuid.c +++ b/otherlibs/unix/getuid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/gmtime.c b/otherlibs/unix/gmtime.c index 3a85c00f3..a2e63c045 100644 --- a/otherlibs/unix/gmtime.c +++ b/otherlibs/unix/gmtime.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/ioctl.c b/otherlibs/unix/ioctl.c index 024178544..fc9e24c53 100644 --- a/otherlibs/unix/ioctl.c +++ b/otherlibs/unix/ioctl.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/kill.c b/otherlibs/unix/kill.c index a552d0931..d9ff474bc 100644 --- a/otherlibs/unix/kill.c +++ b/otherlibs/unix/kill.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <fail.h> #include "unix.h" diff --git a/otherlibs/unix/link.c b/otherlibs/unix/link.c index 3c7ef671d..aaca7faed 100644 --- a/otherlibs/unix/link.c +++ b/otherlibs/unix/link.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/listen.c b/otherlibs/unix/listen.c index d3791a2c4..54b413979 100644 --- a/otherlibs/unix/listen.c +++ b/otherlibs/unix/listen.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/lockf.c b/otherlibs/unix/lockf.c index d85d1d1b3..f69c2caab 100644 --- a/otherlibs/unix/lockf.c +++ b/otherlibs/unix/lockf.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/lseek.c b/otherlibs/unix/lseek.c index 4a34787f7..4adc9d323 100644 --- a/otherlibs/unix/lseek.c +++ b/otherlibs/unix/lseek.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/mkdir.c b/otherlibs/unix/mkdir.c index a65157532..9e70f3315 100644 --- a/otherlibs/unix/mkdir.c +++ b/otherlibs/unix/mkdir.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/mkfifo.c b/otherlibs/unix/mkfifo.c index 453bcfc5e..3bdf31687 100644 --- a/otherlibs/unix/mkfifo.c +++ b/otherlibs/unix/mkfifo.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/nice.c b/otherlibs/unix/nice.c index 8fc265adb..31af31687 100644 --- a/otherlibs/unix/nice.c +++ b/otherlibs/unix/nice.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" #include <errno.h> diff --git a/otherlibs/unix/open.c b/otherlibs/unix/open.c index bec1e8ed8..795a787fa 100644 --- a/otherlibs/unix/open.c +++ b/otherlibs/unix/open.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/opendir.c b/otherlibs/unix/opendir.c index 0fa82657f..14292349c 100644 --- a/otherlibs/unix/opendir.c +++ b/otherlibs/unix/opendir.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" #include <sys/types.h> diff --git a/otherlibs/unix/pause.c b/otherlibs/unix/pause.c index 126c310f9..a1ec4d12b 100644 --- a/otherlibs/unix/pause.c +++ b/otherlibs/unix/pause.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/pipe.c b/otherlibs/unix/pipe.c index 102aeafb9..17c34326b 100644 --- a/otherlibs/unix/pipe.c +++ b/otherlibs/unix/pipe.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/read.c b/otherlibs/unix/read.c index 18ba74d66..49485ce43 100644 --- a/otherlibs/unix/read.c +++ b/otherlibs/unix/read.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/readdir.c b/otherlibs/unix/readdir.c index c544b6e51..15dcd14df 100644 --- a/otherlibs/unix/readdir.c +++ b/otherlibs/unix/readdir.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <fail.h> #include <alloc.h> diff --git a/otherlibs/unix/readlink.c b/otherlibs/unix/readlink.c index ffd979da5..f49118812 100644 --- a/otherlibs/unix/readlink.c +++ b/otherlibs/unix/readlink.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> diff --git a/otherlibs/unix/rename.c b/otherlibs/unix/rename.c index b6cc1e21d..d90fb5f2e 100644 --- a/otherlibs/unix/rename.c +++ b/otherlibs/unix/rename.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/rewinddir.c b/otherlibs/unix/rewinddir.c index 9539e0923..c8253a5b8 100644 --- a/otherlibs/unix/rewinddir.c +++ b/otherlibs/unix/rewinddir.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" #include <sys/types.h> diff --git a/otherlibs/unix/rmdir.c b/otherlibs/unix/rmdir.c index dcf5a5493..100fed2da 100644 --- a/otherlibs/unix/rmdir.c +++ b/otherlibs/unix/rmdir.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/select.c b/otherlibs/unix/select.c index a9499f2cd..ae1f5600a 100644 --- a/otherlibs/unix/select.c +++ b/otherlibs/unix/select.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/sendrecv.c b/otherlibs/unix/sendrecv.c index 82f7ebf1d..58a896ecc 100644 --- a/otherlibs/unix/sendrecv.c +++ b/otherlibs/unix/sendrecv.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/setgid.c b/otherlibs/unix/setgid.c index eff8a444f..c63215aba 100644 --- a/otherlibs/unix/setgid.c +++ b/otherlibs/unix/setgid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/setuid.c b/otherlibs/unix/setuid.c index 31bba023f..0756e0a6d 100644 --- a/otherlibs/unix/setuid.c +++ b/otherlibs/unix/setuid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/shutdown.c b/otherlibs/unix/shutdown.c index bd37c1e5b..d264465d0 100644 --- a/otherlibs/unix/shutdown.c +++ b/otherlibs/unix/shutdown.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/sleep.c b/otherlibs/unix/sleep.c index 6abc80edf..fb5d916db 100644 --- a/otherlibs/unix/sleep.c +++ b/otherlibs/unix/sleep.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/socket.c b/otherlibs/unix/socket.c index 9ad189507..e0374a3ec 100644 --- a/otherlibs/unix/socket.c +++ b/otherlibs/unix/socket.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/socketaddr.c b/otherlibs/unix/socketaddr.c index 2e9c860de..f2c2c6730 100644 --- a/otherlibs/unix/socketaddr.c +++ b/otherlibs/unix/socketaddr.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/socketaddr.h b/otherlibs/unix/socketaddr.h index 256148b98..3d09c5689 100644 --- a/otherlibs/unix/socketaddr.h +++ b/otherlibs/unix/socketaddr.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <misc.h> #include <sys/types.h> #include <sys/socket.h> diff --git a/otherlibs/unix/socketpair.c b/otherlibs/unix/socketpair.c index 0b84dea1d..7a9fc8490 100644 --- a/otherlibs/unix/socketpair.c +++ b/otherlibs/unix/socketpair.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/stat.c b/otherlibs/unix/stat.c index 5b19049b3..9d5a1b1b8 100644 --- a/otherlibs/unix/stat.c +++ b/otherlibs/unix/stat.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/strofaddr.c b/otherlibs/unix/strofaddr.c index 340798946..137b7940b 100644 --- a/otherlibs/unix/strofaddr.c +++ b/otherlibs/unix/strofaddr.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/symlink.c b/otherlibs/unix/symlink.c index e4fdabd94..cb95f3436 100644 --- a/otherlibs/unix/symlink.c +++ b/otherlibs/unix/symlink.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/termios.c b/otherlibs/unix/termios.c index 78bf0d073..8ac91ea54 100644 --- a/otherlibs/unix/termios.c +++ b/otherlibs/unix/termios.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/time.c b/otherlibs/unix/time.c index 5cf811b47..35e0bdc6e 100644 --- a/otherlibs/unix/time.c +++ b/otherlibs/unix/time.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/times.c b/otherlibs/unix/times.c index a64ec327c..7e16a71f7 100644 --- a/otherlibs/unix/times.c +++ b/otherlibs/unix/times.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/truncate.c b/otherlibs/unix/truncate.c index 1226df122..e0fa53854 100644 --- a/otherlibs/unix/truncate.c +++ b/otherlibs/unix/truncate.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/umask.c b/otherlibs/unix/umask.c index e5581fb2b..f7a8e4807 100644 --- a/otherlibs/unix/umask.c +++ b/otherlibs/unix/umask.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/unix.c b/otherlibs/unix/unix.c index 848b650e5..2f79f906f 100644 --- a/otherlibs/unix/unix.c +++ b/otherlibs/unix/unix.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/unix.h b/otherlibs/unix/unix.h index 1c419fca8..5a26a7c3d 100644 --- a/otherlibs/unix/unix.h +++ b/otherlibs/unix/unix.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #define Nothing ((value) 0) #ifndef NULL diff --git a/otherlibs/unix/unix.ml b/otherlibs/unix/unix.ml index b17baefdb..9440f79a1 100644 --- a/otherlibs/unix/unix.ml +++ b/otherlibs/unix/unix.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + type error = ENOERR | EPERM diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli index e48976aee..3b48a8d41 100644 --- a/otherlibs/unix/unix.mli +++ b/otherlibs/unix/unix.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Interface to the Unix system *) (*** Error report *) diff --git a/otherlibs/unix/unlink.c b/otherlibs/unix/unlink.c index 67684f473..ce112529a 100644 --- a/otherlibs/unix/unlink.c +++ b/otherlibs/unix/unlink.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/utimes.c b/otherlibs/unix/utimes.c index 2c481829e..71f433160 100644 --- a/otherlibs/unix/utimes.c +++ b/otherlibs/unix/utimes.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/wait.c b/otherlibs/unix/wait.c index 1f41da9f3..12579ddac 100644 --- a/otherlibs/unix/wait.c +++ b/otherlibs/unix/wait.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/waitpid.c b/otherlibs/unix/waitpid.c index 9761a3852..934bfc7c2 100644 --- a/otherlibs/unix/waitpid.c +++ b/otherlibs/unix/waitpid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/write.c b/otherlibs/unix/write.c index acb6f3331..99ab72131 100644 --- a/otherlibs/unix/write.c +++ b/otherlibs/unix/write.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/parsing/asttypes.mli b/parsing/asttypes.mli index f2e01f60c..97a58ff86 100644 --- a/parsing/asttypes.mli +++ b/parsing/asttypes.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Auxiliary a.s.t. types used by parsetree and typedtree. *) type constant = diff --git a/parsing/lexer.mli b/parsing/lexer.mli index d5f0da422..5d3af4086 100644 --- a/parsing/lexer.mli +++ b/parsing/lexer.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The lexical analyzer *) val token: Lexing.lexbuf -> Parser.token diff --git a/parsing/lexer.mll b/parsing/lexer.mll index 985aaa627..f1cb39c63 100644 --- a/parsing/lexer.mll +++ b/parsing/lexer.mll @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The lexer definition *) { diff --git a/parsing/location.ml b/parsing/location.ml index 7abb85588..e3b45e56b 100644 --- a/parsing/location.ml +++ b/parsing/location.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + open Lexing type t = diff --git a/parsing/location.mli b/parsing/location.mli index 8a2dcd5a9..7de7b73ab 100644 --- a/parsing/location.mli +++ b/parsing/location.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Source code locations, used in parsetree *) type t = diff --git a/parsing/longident.mli b/parsing/longident.mli index ffbe8004f..374ff5a00 100644 --- a/parsing/longident.mli +++ b/parsing/longident.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Long identifiers, used in parsetree. *) type t = diff --git a/parsing/parse.ml b/parsing/parse.ml index 04764f5eb..27ccefccb 100644 --- a/parsing/parse.ml +++ b/parsing/parse.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Entry points in the parser *) exception Error of int * int (* Syntax error *) diff --git a/parsing/parse.mli b/parsing/parse.mli index 02d669459..db7a8d993 100644 --- a/parsing/parse.mli +++ b/parsing/parse.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Entry points in the parser *) val toplevel_phrase : Lexing.lexbuf -> Parsetree.toplevel_phrase diff --git a/parsing/parser.mly b/parsing/parser.mly index 0048d3079..5b3817151 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* The parser definition */ %{ diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index 98f1e22e2..5e34b5f0b 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Abstract syntax tree produced by parsing *) open Asttypes diff --git a/stdlib/arg.ml b/stdlib/arg.ml index 3726760f4..0d214b7a9 100644 --- a/stdlib/arg.ml +++ b/stdlib/arg.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + type spec = String of (string -> unit) | Int of (int -> unit) diff --git a/stdlib/arg.mli b/stdlib/arg.mli index 57ce2b3ab..fa31aa357 100644 --- a/stdlib/arg.mli +++ b/stdlib/arg.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Arg]: parsing of command line arguments *) (* This module provides a general mechanism for extracting options and diff --git a/stdlib/array.ml b/stdlib/array.ml index 62c475d22..a3c8779f0 100644 --- a/stdlib/array.ml +++ b/stdlib/array.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Array operations *) external length : 'a array -> int = "%array_length" diff --git a/stdlib/array.mli b/stdlib/array.mli index 17e59e1a3..de301b69c 100644 --- a/stdlib/array.mli +++ b/stdlib/array.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Array]: array operations *) external length : 'a array -> int = "%array_length" diff --git a/stdlib/char.ml b/stdlib/char.ml index 348c5683c..43ccdef71 100644 --- a/stdlib/char.ml +++ b/stdlib/char.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Character operations *) external code: char -> int = "%identity" diff --git a/stdlib/char.mli b/stdlib/char.mli index 6d7b53565..099c63237 100644 --- a/stdlib/char.mli +++ b/stdlib/char.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Char]: character operations *) external code: char -> int = "%identity" diff --git a/stdlib/filename.ml b/stdlib/filename.ml index af63af08f..d749c1943 100644 --- a/stdlib/filename.ml +++ b/stdlib/filename.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + let check_suffix name suff = String.length name >= String.length suff & String.sub name (String.length name - String.length suff) (String.length suff) diff --git a/stdlib/filename.mli b/stdlib/filename.mli index 91363bde8..39b19bc16 100644 --- a/stdlib/filename.mli +++ b/stdlib/filename.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Filename]: operations on file names *) val current_dir_name : string diff --git a/stdlib/format.ml b/stdlib/format.ml index 34d3cb12f..e60c0c2c0 100644 --- a/stdlib/format.ml +++ b/stdlib/format.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Tokens are one of the following : *) type pp_token = diff --git a/stdlib/format.mli b/stdlib/format.mli index 1425b4868..e5a976c6b 100644 --- a/stdlib/format.mli +++ b/stdlib/format.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Format]: pretty printing *) (* This module implements a pretty-printing facility to format text diff --git a/stdlib/gc.ml b/stdlib/gc.ml index 163e6867e..d07be8361 100644 --- a/stdlib/gc.ml +++ b/stdlib/gc.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + type stat = { minor_words : int; promoted_words : int; diff --git a/stdlib/gc.mli b/stdlib/gc.mli index ea0ed5f1b..15753dd46 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Gc]: memory management control and statistics *) type stat = { diff --git a/stdlib/hashtbl.ml b/stdlib/hashtbl.ml index de55ae63d..3d466ec4f 100644 --- a/stdlib/hashtbl.ml +++ b/stdlib/hashtbl.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Hash tables *) (* We do dynamic hashing, and we double the size of the table when diff --git a/stdlib/hashtbl.mli b/stdlib/hashtbl.mli index 9bde6fed4..324ca3d68 100644 --- a/stdlib/hashtbl.mli +++ b/stdlib/hashtbl.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Hashtbl]: hash tables and hash functions *) (* Hash tables are hashed association tables, with in-place modification. *) diff --git a/stdlib/header.c b/stdlib/header.c index aba20e62a..1169a02a1 100644 --- a/stdlib/header.c +++ b/stdlib/header.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + char * runtime_name = "cslrun"; char * errmsg = "Cannot exec cslrun.\n"; diff --git a/stdlib/lexing.ml b/stdlib/lexing.ml index 2f467f652..d5832fb5f 100644 --- a/stdlib/lexing.ml +++ b/stdlib/lexing.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The run-time library for lexers generated by camllex *) type lexbuf = diff --git a/stdlib/lexing.mli b/stdlib/lexing.mli index 2c4c53da1..6729c9ec1 100644 --- a/stdlib/lexing.mli +++ b/stdlib/lexing.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Lexing]: the run-time library for lexers generated by [camllex] *) (*** Lexer buffers *) diff --git a/stdlib/list.ml b/stdlib/list.ml index f761e138f..ccc1aee74 100644 --- a/stdlib/list.ml +++ b/stdlib/list.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* List operations *) let rec length = function diff --git a/stdlib/list.mli b/stdlib/list.mli index 14cff7949..a649bff2f 100644 --- a/stdlib/list.mli +++ b/stdlib/list.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [List]: list operations *) val length : 'a list -> int diff --git a/stdlib/map.ml b/stdlib/map.ml index 40ebdfaef..1e7338bf2 100644 --- a/stdlib/map.ml +++ b/stdlib/map.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + module type OrderedType = sig type t diff --git a/stdlib/map.mli b/stdlib/map.mli index aaf21834b..99b2dd2db 100644 --- a/stdlib/map.mli +++ b/stdlib/map.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Map]: association tables over ordered types *) (* This module implements applicative association tables, also known as diff --git a/stdlib/obj.ml b/stdlib/obj.ml index 8fe21c7f6..af7ac7b7d 100644 --- a/stdlib/obj.ml +++ b/stdlib/obj.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Operations on internal representations of values *) type t diff --git a/stdlib/obj.mli b/stdlib/obj.mli index 602ea4b7c..a37e8a266 100644 --- a/stdlib/obj.mli +++ b/stdlib/obj.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Obj]: operations on internal representations of values *) (* Not for the casual user. *) diff --git a/stdlib/parsing.ml b/stdlib/parsing.ml index 446ee2665..57abf7365 100644 --- a/stdlib/parsing.ml +++ b/stdlib/parsing.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The parsing engine *) open Lexing diff --git a/stdlib/parsing.mli b/stdlib/parsing.mli index 62201b2c9..31ebb048c 100644 --- a/stdlib/parsing.mli +++ b/stdlib/parsing.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Parsing]: the run-time library for parsers generated by [camlyacc]*) val symbol_start : unit -> int diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index 18b80e251..277cb8087 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Exceptions *) external raise : exn -> 'a = "%raise" diff --git a/stdlib/pervasives.mli b/stdlib/pervasives.mli index 01c7ba174..6628df82e 100644 --- a/stdlib/pervasives.mli +++ b/stdlib/pervasives.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Pervasives]: the initially opened module *) (* This module provides the built-in types (numbers, booleans, diff --git a/stdlib/printexc.ml b/stdlib/printexc.ml index 6d00535bb..ffb0b2451 100644 --- a/stdlib/printexc.ml +++ b/stdlib/printexc.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + let print_exn = function Out_of_memory -> prerr_string "Out of memory\n" diff --git a/stdlib/printexc.mli b/stdlib/printexc.mli index 864f1ac84..4c6c027e8 100644 --- a/stdlib/printexc.mli +++ b/stdlib/printexc.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Printexc]: a catch-all exception handler *) val catch: ('a -> 'b) -> 'a -> 'b diff --git a/stdlib/printf.ml b/stdlib/printf.ml index 34f0b5438..cc49e0c0d 100644 --- a/stdlib/printf.ml +++ b/stdlib/printf.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + external format_int: string -> int -> string = "format_int" external format_float: string -> float -> string = "format_float" diff --git a/stdlib/printf.mli b/stdlib/printf.mli index 2a2251357..d167bfd96 100644 --- a/stdlib/printf.mli +++ b/stdlib/printf.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Printf]: formatting printing functions *) val fprintf: out_channel -> ('a, out_channel, unit) format -> 'a diff --git a/stdlib/queue.ml b/stdlib/queue.ml index 977a26338..c239865ea 100644 --- a/stdlib/queue.ml +++ b/stdlib/queue.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + exception Empty type 'a queue_cell = diff --git a/stdlib/queue.mli b/stdlib/queue.mli index 45fcb2c1e..3c5323963 100644 --- a/stdlib/queue.mli +++ b/stdlib/queue.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Queues]: queues *) (* This module implements queues (FIFOs), with in-place modification. *) diff --git a/stdlib/set.ml b/stdlib/set.ml index f0434f265..e7aa9d643 100644 --- a/stdlib/set.ml +++ b/stdlib/set.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Sets over ordered types *) module type OrderedType = diff --git a/stdlib/set.mli b/stdlib/set.mli index 53debbca2..899226127 100644 --- a/stdlib/set.mli +++ b/stdlib/set.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Set]: sets over ordered types *) (* This module implements the set data structure, given a total ordering diff --git a/stdlib/sort.ml b/stdlib/sort.ml index 1b694bfff..d4b6ad0b1 100644 --- a/stdlib/sort.ml +++ b/stdlib/sort.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Merging and sorting *) let rec merge order l1 l2 = diff --git a/stdlib/sort.mli b/stdlib/sort.mli index 1378d0720..a64d7db99 100644 --- a/stdlib/sort.mli +++ b/stdlib/sort.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Sort]: sorting and merging lists *) val list : ('a -> 'a -> bool) -> 'a list -> 'a list diff --git a/stdlib/stack.ml b/stdlib/stack.ml index 8b1710cdd..c1f27b245 100644 --- a/stdlib/stack.ml +++ b/stdlib/stack.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + type 'a t = { mutable c : 'a list } exception Empty diff --git a/stdlib/stack.mli b/stdlib/stack.mli index 03463a1ec..ad10e1037 100644 --- a/stdlib/stack.mli +++ b/stdlib/stack.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Stack]: stacks *) (* This modl implements stacks (LIFOs), with in-place modification. *) diff --git a/stdlib/string.ml b/stdlib/string.ml index 4365f9d04..771813bed 100644 --- a/stdlib/string.ml +++ b/stdlib/string.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* String operations *) external length : string -> int = "%string_length" diff --git a/stdlib/string.mli b/stdlib/string.mli index fe1b2497c..7fe385f4e 100644 --- a/stdlib/string.mli +++ b/stdlib/string.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [String]: string operations *) external length : string -> int = "%string_length" diff --git a/stdlib/sys.ml b/stdlib/sys.ml index 79a40d9b3..40958323e 100644 --- a/stdlib/sys.ml +++ b/stdlib/sys.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* System interface *) external get_argv: unit -> string array = "sys_get_argv" diff --git a/stdlib/sys.mli b/stdlib/sys.mli index 3fb694d2b..59c2079bc 100644 --- a/stdlib/sys.mli +++ b/stdlib/sys.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Module [Sys]: system interface *) val argv: string array diff --git a/test/KB/equations.ml b/test/KB/equations.ml index 054c15b2e..92770283e 100644 --- a/test/KB/equations.ml +++ b/test/KB/equations.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (****************** Equation manipulations *************) open Terms diff --git a/test/KB/equations.mli b/test/KB/equations.mli index bd71235e8..caa88ec96 100644 --- a/test/KB/equations.mli +++ b/test/KB/equations.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + open Terms type rule = diff --git a/test/KB/kb.ml b/test/KB/kb.ml index ff63518ae..b4d2b6d32 100644 --- a/test/KB/kb.ml +++ b/test/KB/kb.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + open Terms open Equations diff --git a/test/KB/kb.mli b/test/KB/kb.mli index accac402c..d715f2daf 100644 --- a/test/KB/kb.mli +++ b/test/KB/kb.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + open Terms open Equations diff --git a/test/KB/kbmain.ml b/test/KB/kbmain.ml index 2a10773c8..61047351a 100644 --- a/test/KB/kbmain.ml +++ b/test/KB/kbmain.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + open Terms open Equations open Orderings diff --git a/test/KB/orderings.ml b/test/KB/orderings.ml index 8b58d80a2..2f30c8cb0 100644 --- a/test/KB/orderings.ml +++ b/test/KB/orderings.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (*********************** Recursive Path Ordering ****************************) open Terms diff --git a/test/KB/orderings.mli b/test/KB/orderings.mli index f540e527d..91777aeb0 100644 --- a/test/KB/orderings.mli +++ b/test/KB/orderings.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + open Terms type ordering = diff --git a/test/KB/terms.ml b/test/KB/terms.ml index 35c65552b..d4790f6ed 100644 --- a/test/KB/terms.ml +++ b/test/KB/terms.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (****************** Term manipulations *****************) type term = diff --git a/test/KB/terms.mli b/test/KB/terms.mli index 3e3f831b3..7d1197074 100644 --- a/test/KB/terms.mli +++ b/test/KB/terms.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + type term = Var of int | Term of string * term list diff --git a/test/Lex/gram_aux.ml b/test/Lex/gram_aux.ml index 525ee69b5..0d6d724c7 100644 --- a/test/Lex/gram_aux.ml +++ b/test/Lex/gram_aux.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Auxiliaries for the parser. *) open Syntax diff --git a/test/Lex/grammar.mly b/test/Lex/grammar.mly index eb1c8cc24..f5e8ba398 100644 --- a/test/Lex/grammar.mly +++ b/test/Lex/grammar.mly @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* The grammar for lexer definitions */ %{ diff --git a/test/Lex/lexgen.ml b/test/Lex/lexgen.ml index 73d011577..6dd225000 100644 --- a/test/Lex/lexgen.ml +++ b/test/Lex/lexgen.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Compiling a lexer definition *) open Syntax diff --git a/test/Lex/main.ml b/test/Lex/main.ml index 94902ed21..bdf1176bc 100644 --- a/test/Lex/main.ml +++ b/test/Lex/main.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The lexer generator. Command-line parsing. *) open Syntax diff --git a/test/Lex/output.ml b/test/Lex/output.ml index 301edcba3..0b5350e75 100644 --- a/test/Lex/output.ml +++ b/test/Lex/output.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Generating a DFA as a set of mutually recursive functions *) open Syntax diff --git a/test/Lex/scan_aux.ml b/test/Lex/scan_aux.ml index 8b01d6347..7bf98bcf0 100644 --- a/test/Lex/scan_aux.ml +++ b/test/Lex/scan_aux.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Auxiliaries for the lexical analyzer *) let brace_depth = ref 0 diff --git a/test/Lex/scanner.mll b/test/Lex/scanner.mll index 7cb13ba70..bc3cc29f6 100644 --- a/test/Lex/scanner.mll +++ b/test/Lex/scanner.mll @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The lexical analyzer for lexer definitions. *) { diff --git a/test/Lex/syntax.ml b/test/Lex/syntax.ml index f692e6f62..6685f8e7e 100644 --- a/test/Lex/syntax.ml +++ b/test/Lex/syntax.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The shallow abstract syntax *) type location = diff --git a/test/Lex/testmain.ml b/test/Lex/testmain.ml index e0a914ee0..1862c592e 100644 --- a/test/Lex/testmain.ml +++ b/test/Lex/testmain.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The lexer generator. Command-line parsing. *) #open "syntax";; diff --git a/test/Lex/testscanner.mll b/test/Lex/testscanner.mll index 91ada299f..f01ff5cca 100644 --- a/test/Lex/testscanner.mll +++ b/test/Lex/testscanner.mll @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The lexical analyzer for lexer definitions. *) { diff --git a/test/boyer.ml b/test/boyer.ml index 3bcefc0c1..054699271 100644 --- a/test/boyer.ml +++ b/test/boyer.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Manipulations over terms *) type term = diff --git a/test/fft.ml b/test/fft.ml index 2b9a94a13..7a7517c4c 100644 --- a/test/fft.ml +++ b/test/fft.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + let pi = 3.14159265358979323846 let tpi = 2.0 *. pi diff --git a/test/fib.ml b/test/fib.ml index 536fcfd36..bb8833729 100644 --- a/test/fib.ml +++ b/test/fib.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + let rec fib n = if n < 2 then 1 else fib(n-1) + fib(n-2) diff --git a/test/nucleic.ml b/test/nucleic.ml index 8b29a9034..51e1f8c77 100644 --- a/test/nucleic.ml +++ b/test/nucleic.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Use floating-point arithmetic *) external (+) : float -> float -> float = "%addfloat" diff --git a/test/quicksort.ml b/test/quicksort.ml index 07d6d0850..7a484b259 100644 --- a/test/quicksort.ml +++ b/test/quicksort.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Good test for loops. Best compiled with unsafe libraries. *) let rec qsort lo hi (a : int array) = diff --git a/test/sets.ml b/test/sets.ml index 1364181b9..951551526 100644 --- a/test/sets.ml +++ b/test/sets.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + module IntSet = Set.Make(struct type t = int let compare x y = x-y end) let even = List.fold_right IntSet.add [0; -2; 2; 4; 6; -10] IntSet.empty diff --git a/test/sieve.ml b/test/sieve.ml index 0cc8fbbed..4a11e9020 100644 --- a/test/sieve.ml +++ b/test/sieve.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Eratosthene's sieve *) (* interval min max = [min; min+1; ...; max-1; max] *) diff --git a/test/soli.ml b/test/soli.ml index 46d06b828..e143d4761 100644 --- a/test/soli.ml +++ b/test/soli.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + type peg = Out | Empty | Peg diff --git a/test/takc.ml b/test/takc.ml index f8ba8bdab..627f26423 100644 --- a/test/takc.ml +++ b/test/takc.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + let rec tak x y z = if x > y then tak (tak (x-1) y z) (tak (y-1) z x) (tak (z-1) x y) else z diff --git a/test/taku.ml b/test/taku.ml index 42666f82d..e14225300 100644 --- a/test/taku.ml +++ b/test/taku.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + let rec tak (x, y, z) = if x > y then tak(tak (x-1, y, z), tak (y-1, z, x), tak (z-1, x, y)) else z diff --git a/testasmcomp/alpha.asm b/testasmcomp/alpha.asm index 9384609de..4b948eb60 100644 --- a/testasmcomp/alpha.asm +++ b/testasmcomp/alpha.asm @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + .globl call_gen_code .ent call_gen_code diff --git a/testasmcomp/fib.cmm b/testasmcomp/fib.cmm index 1db71535e..19336302c 100644 --- a/testasmcomp/fib.cmm +++ b/testasmcomp/fib.cmm @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (function "fib" (n: int) (if (< n 2) 1 diff --git a/testasmcomp/i386.asm b/testasmcomp/i386.asm index c1ce85c53..8e1b7730a 100644 --- a/testasmcomp/i386.asm +++ b/testasmcomp/i386.asm @@ -1,3 +1,16 @@ +#*********************************************************************# +# # +# Caml Special Light # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# Copyright 1995 Institut National de Recherche en Informatique et # +# Automatique. Distributed only by permission. # +# # +#*********************************************************************# + +# $Id$ # + .globl _call_gen_code .align 4 _call_gen_code: diff --git a/testasmcomp/integr.cmm b/testasmcomp/integr.cmm index 6334b3507..0d2a1dbe7 100644 --- a/testasmcomp/integr.cmm +++ b/testasmcomp/integr.cmm @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (function "square" (x: float) ( *f x x)) diff --git a/testasmcomp/lexcmm.mli b/testasmcomp/lexcmm.mli index f9fe6afad..bfe114901 100644 --- a/testasmcomp/lexcmm.mli +++ b/testasmcomp/lexcmm.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + val token: Lexing.lexbuf -> Parsecmm.token type error = diff --git a/testasmcomp/lexcmm.mll b/testasmcomp/lexcmm.mll index dba6c7580..1b617198b 100644 --- a/testasmcomp/lexcmm.mll +++ b/testasmcomp/lexcmm.mll @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + { open Parsecmm @@ -39,7 +52,6 @@ let keyword_table = "let", LET; "load", LOAD; "mod", MODI; - "modify", MODIFY; "or", OR; "proj", PROJ; "raise", RAISE; diff --git a/testasmcomp/main.c b/testasmcomp/main.c index 20c1290ab..b07d2dc7b 100644 --- a/testasmcomp/main.c +++ b/testasmcomp/main.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <stdio.h> #ifdef SORT diff --git a/testasmcomp/main.ml b/testasmcomp/main.ml index 90f7af5ed..4c6ed99fa 100644 --- a/testasmcomp/main.ml +++ b/testasmcomp/main.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + let compile_file filename = let ic = open_in filename in let lb = Lexing.from_channel ic in diff --git a/testasmcomp/mips.asm b/testasmcomp/mips.asm index 395fc4526..03992b504 100644 --- a/testasmcomp/mips.asm +++ b/testasmcomp/mips.asm @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + .globl call_gen_code .ent call_gen_code call_gen_code: diff --git a/testasmcomp/parsecmm.mly b/testasmcomp/parsecmm.mly index 82c70b8ff..c40c68a4a 100644 --- a/testasmcomp/parsecmm.mly +++ b/testasmcomp/parsecmm.mly @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* A simple parser for C-- */ %{ @@ -84,7 +97,6 @@ let access_array base numelt size = %token LTF %token LTI %token MODI -%token MODIFY %token MULF %token MULI %token NEA @@ -216,7 +228,6 @@ unaryop: | PROJ INTCONST SUBI INTCONST { Cproj($2, $4 - $2 - 1) } | LOAD chunk { Cloadchunk $2 } | ALLOC { Calloc } - | MODIFY { Cmodify } | FLOATOFINT { Cfloatofint } | INTOFFLOAT { Cintoffloat } | RAISE { Craise } diff --git a/testasmcomp/parsecmmaux.ml b/testasmcomp/parsecmmaux.ml index d41d2b71c..2bd36f16d 100644 --- a/testasmcomp/parsecmmaux.ml +++ b/testasmcomp/parsecmmaux.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Auxiliary functions for parsing *) type error = diff --git a/testasmcomp/parsecmmaux.mli b/testasmcomp/parsecmmaux.mli index c7920803a..0f2d84f69 100644 --- a/testasmcomp/parsecmmaux.mli +++ b/testasmcomp/parsecmmaux.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Auxiliary functions for parsing *) val bind_ident: string -> Ident.t diff --git a/testasmcomp/quicksort.cmm b/testasmcomp/quicksort.cmm index a2029b93e..cfcb601ad 100644 --- a/testasmcomp/quicksort.cmm +++ b/testasmcomp/quicksort.cmm @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (function "quicksort" (lo: int hi: int a: addr) (if (< lo hi) (let (i lo diff --git a/testasmcomp/quicksort2.cmm b/testasmcomp/quicksort2.cmm index a36950a6e..7bf8e617d 100644 --- a/testasmcomp/quicksort2.cmm +++ b/testasmcomp/quicksort2.cmm @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (function "cmp" (i: int j: int) (- i j)) diff --git a/testasmcomp/soli.cmm b/testasmcomp/soli.cmm index 20313d3af..b91994eb3 100644 --- a/testasmcomp/soli.cmm +++ b/testasmcomp/soli.cmm @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + ("d1": int 0 int 1 "d2": int 1 int 0 "d3": int 0 int -1 diff --git a/testasmcomp/sparc.asm b/testasmcomp/sparc.asm index 42776808c..c2b953c7d 100644 --- a/testasmcomp/sparc.asm +++ b/testasmcomp/sparc.asm @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + .global _call_gen_code _call_gen_code: save %sp, -96, %sp diff --git a/testasmcomp/tagged-fib.cmm b/testasmcomp/tagged-fib.cmm index ee099ed5d..b31a449c2 100644 --- a/testasmcomp/tagged-fib.cmm +++ b/testasmcomp/tagged-fib.cmm @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (function "fib" (n: int) (if (< n 5) 3 diff --git a/testasmcomp/tagged-integr.cmm b/testasmcomp/tagged-integr.cmm index 314c7b3a4..b88df9d92 100644 --- a/testasmcomp/tagged-integr.cmm +++ b/testasmcomp/tagged-integr.cmm @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + ("res_square": skip 8) ("h": skip 8) ("x": skip 8) diff --git a/testasmcomp/tagged-quicksort.cmm b/testasmcomp/tagged-quicksort.cmm index 62008ab3e..ac33af658 100644 --- a/testasmcomp/tagged-quicksort.cmm +++ b/testasmcomp/tagged-quicksort.cmm @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (function "quick" (lo: int hi: int a: addr) (if (< lo hi) (let (i lo diff --git a/testasmcomp/tagged-tak.cmm b/testasmcomp/tagged-tak.cmm index a24fa9dd3..ca78dbf73 100644 --- a/testasmcomp/tagged-tak.cmm +++ b/testasmcomp/tagged-tak.cmm @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (function "tak" (x:int y:int z:int) (if (> x y) (app "tak" [(app "tak" [(- x 2) y z] int) diff --git a/testasmcomp/tak.cmm b/testasmcomp/tak.cmm index 34f79ae0d..162664285 100644 --- a/testasmcomp/tak.cmm +++ b/testasmcomp/tak.cmm @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (function "tak" (x:int y:int z:int) (if (> x y) (app "tak" [(app "tak" [(- x 1) y z] int) diff --git a/tools/camlmktop b/tools/camlmktop index c64e6f967..6201cd747 100755 --- a/tools/camlmktop +++ b/tools/camlmktop @@ -1,5 +1,3 @@ #!/bin/sh -# Simple and elegant. -# Does not expunge compiler modules, but what the heck. exec cslc -linkall $* toplevellib.cma diff --git a/tools/dumpapprox.ml b/tools/dumpapprox.ml index d06667184..34e8f08fa 100644 --- a/tools/dumpapprox.ml +++ b/tools/dumpapprox.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Dump a .cmx file *) open Config diff --git a/tools/dumpobj.ml b/tools/dumpobj.ml index 0c2501bfe..877b0d6f9 100644 --- a/tools/dumpobj.ml +++ b/tools/dumpobj.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Disassembler for executable and .zo object files *) open Obj diff --git a/toplevel/expunge.ml b/toplevel/expunge.ml index fd68f64de..77acf5521 100644 --- a/toplevel/expunge.ml +++ b/toplevel/expunge.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* "Expunge" a toplevel by removing compiler modules from the global List.map. Usage: expunge <source file> <dest file> <names of modules to keep> *) diff --git a/toplevel/printval.ml b/toplevel/printval.ml index 96396ee26..4b636c13b 100644 --- a/toplevel/printval.ml +++ b/toplevel/printval.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* To print values *) open Obj diff --git a/toplevel/printval.mli b/toplevel/printval.mli index 324bf9d05..988d30de1 100644 --- a/toplevel/printval.mli +++ b/toplevel/printval.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Printing of values *) open Typedtree diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml index 996a5f864..db7a399c1 100644 --- a/toplevel/topdirs.ml +++ b/toplevel/topdirs.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Toplevel directives *) open Format diff --git a/toplevel/topdirs.mli b/toplevel/topdirs.mli index e5b9e7b4d..3adea2b1e 100644 --- a/toplevel/topdirs.mli +++ b/toplevel/topdirs.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The toplevel directives. *) val dir_quit : unit -> unit diff --git a/toplevel/toploop.ml b/toplevel/toploop.ml index 44aec7e07..610e6b420 100644 --- a/toplevel/toploop.ml +++ b/toplevel/toploop.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The interactive toplevel loop *) open Lexing diff --git a/toplevel/toploop.mli b/toplevel/toploop.mli index 8196ac110..a3b32cad4 100644 --- a/toplevel/toploop.mli +++ b/toplevel/toploop.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* The interactive toplevel loop *) val loop: unit -> unit diff --git a/toplevel/topmain.ml b/toplevel/topmain.ml index 50ebfa1b7..be09f498b 100644 --- a/toplevel/topmain.ml +++ b/toplevel/topmain.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + open Clflags let main () = diff --git a/typing/ctype.ml b/typing/ctype.ml index cbebe7f2a..711f6812e 100644 --- a/typing/ctype.ml +++ b/typing/ctype.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Operations on core types *) open Misc diff --git a/typing/ctype.mli b/typing/ctype.mli index 96a310137..42f78bb00 100644 --- a/typing/ctype.mli +++ b/typing/ctype.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Operations on core types *) open Typedtree diff --git a/typing/datarepr.ml b/typing/datarepr.ml index 0ea64b9e7..0afa11e4e 100644 --- a/typing/datarepr.ml +++ b/typing/datarepr.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Compute constructor and label descriptions from type declarations, determining their representation. *) diff --git a/typing/datarepr.mli b/typing/datarepr.mli index ee8bebade..b1825eac5 100644 --- a/typing/datarepr.mli +++ b/typing/datarepr.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Compute constructor and label descriptions from type declarations, determining their representation. *) diff --git a/typing/env.ml b/typing/env.ml index b970a235f..9d6eddf5b 100644 --- a/typing/env.ml +++ b/typing/env.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Environment handling *) open Format diff --git a/typing/env.mli b/typing/env.mli index 80623a68b..8d96f2cef 100644 --- a/typing/env.mli +++ b/typing/env.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Environment handling *) open Typedtree diff --git a/typing/ident.ml b/typing/ident.ml index 5c452e075..e79b2d108 100644 --- a/typing/ident.ml +++ b/typing/ident.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + open Format type t = { mutable stamp: int; name: string; mutable global: bool } diff --git a/typing/ident.mli b/typing/ident.mli index 45ea20a96..1d3c73271 100644 --- a/typing/ident.mli +++ b/typing/ident.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Identifiers (unique names) *) type t diff --git a/typing/includecore.ml b/typing/includecore.ml index 4e06cccef..b0d3e2228 100644 --- a/typing/includecore.ml +++ b/typing/includecore.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Inclusion checks for the core language *) open Misc diff --git a/typing/includecore.mli b/typing/includecore.mli index 6c6e6417c..479549434 100644 --- a/typing/includecore.mli +++ b/typing/includecore.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Inclusion checks for the core language *) open Typedtree diff --git a/typing/includemod.ml b/typing/includemod.ml index 7856c7acc..1447c5a3e 100644 --- a/typing/includemod.ml +++ b/typing/includemod.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Inclusion checks for the module language *) open Misc diff --git a/typing/includemod.mli b/typing/includemod.mli index 2a6ca3e0a..b5589ca5d 100644 --- a/typing/includemod.mli +++ b/typing/includemod.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Inclusion checks for the module language *) open Typedtree diff --git a/typing/mtype.ml b/typing/mtype.ml index e68a3ff00..07262472e 100644 --- a/typing/mtype.ml +++ b/typing/mtype.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Operations on module types *) open Path diff --git a/typing/mtype.mli b/typing/mtype.mli index ca2016fb5..60cc53c92 100644 --- a/typing/mtype.mli +++ b/typing/mtype.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Operations on module types *) open Typedtree diff --git a/typing/parmatch.ml b/typing/parmatch.ml index c78058aae..2d18939a0 100644 --- a/typing/parmatch.ml +++ b/typing/parmatch.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Detection of partial matches and unused match cases. *) open Misc diff --git a/typing/parmatch.mli b/typing/parmatch.mli index 93aa55957..a9ec400cf 100644 --- a/typing/parmatch.mli +++ b/typing/parmatch.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Detection of partial matches and unused match cases. *) open Typedtree diff --git a/typing/path.ml b/typing/path.ml index d67a61945..8aa7a1fbf 100644 --- a/typing/path.ml +++ b/typing/path.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + type t = Pident of Ident.t | Pdot of t * string * int diff --git a/typing/path.mli b/typing/path.mli index 51a0ac96c..5807cd647 100644 --- a/typing/path.mli +++ b/typing/path.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Access paths *) type t = diff --git a/typing/predef.ml b/typing/predef.ml index 4a471d912..7613d37f9 100644 --- a/typing/predef.ml +++ b/typing/predef.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Predefined type constructors (with special typing rules in typecore) *) open Path diff --git a/typing/predef.mli b/typing/predef.mli index da2d17ae0..f35f7d8dd 100644 --- a/typing/predef.mli +++ b/typing/predef.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Predefined type constructors (with special typing rules in typecore) *) open Typedtree diff --git a/typing/primitive.ml b/typing/primitive.ml index 821849c83..383b9f825 100644 --- a/typing/primitive.ml +++ b/typing/primitive.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Description of primitive functions *) open Format diff --git a/typing/primitive.mli b/typing/primitive.mli index e4fbdf9ef..83aebcce7 100644 --- a/typing/primitive.mli +++ b/typing/primitive.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Description of primitive functions *) type description = diff --git a/typing/printtyp.ml b/typing/printtyp.ml index c2527ac41..a71d9ae82 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Printing functions *) open Format diff --git a/typing/printtyp.mli b/typing/printtyp.mli index 2a99c48d7..6bad01ba1 100644 --- a/typing/printtyp.mli +++ b/typing/printtyp.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Printing functions *) open Typedtree diff --git a/typing/subst.ml b/typing/subst.ml index 97a5aab93..356822701 100644 --- a/typing/subst.ml +++ b/typing/subst.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Substitutions *) open Path diff --git a/typing/subst.mli b/typing/subst.mli index 52caf5238..9bb374ad0 100644 --- a/typing/subst.mli +++ b/typing/subst.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Substitutions *) open Typedtree diff --git a/typing/typecore.ml b/typing/typecore.ml index 45763cc4a..e403c54df 100644 --- a/typing/typecore.ml +++ b/typing/typecore.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Typechecking for the core language *) open Asttypes diff --git a/typing/typecore.mli b/typing/typecore.mli index 05575fc0a..2b495a028 100644 --- a/typing/typecore.mli +++ b/typing/typecore.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Type inference for the core language *) open Asttypes diff --git a/typing/typedecl.ml b/typing/typedecl.ml index 4240b8a15..1d450d3f6 100644 --- a/typing/typedecl.ml +++ b/typing/typedecl.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Typing of type definitions *) open Parsetree diff --git a/typing/typedecl.mli b/typing/typedecl.mli index c31fe8e90..7f9fbb81b 100644 --- a/typing/typedecl.mli +++ b/typing/typedecl.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Typing of type definitions and primitive definitions *) open Typedtree diff --git a/typing/typedtree.ml b/typing/typedtree.ml index 20f40c941..26f56ee45 100644 --- a/typing/typedtree.ml +++ b/typing/typedtree.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Abstract syntax tree after typing *) open Misc diff --git a/typing/typedtree.mli b/typing/typedtree.mli index 1e61748fc..1ecffd8eb 100644 --- a/typing/typedtree.mli +++ b/typing/typedtree.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Abstract syntax tree after typing *) open Asttypes diff --git a/typing/typemod.ml b/typing/typemod.ml index 0be7ad855..9959e31d2 100644 --- a/typing/typemod.ml +++ b/typing/typemod.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Type-checking of the module language *) open Misc diff --git a/typing/typemod.mli b/typing/typemod.mli index 4a138eebe..25a1fed17 100644 --- a/typing/typemod.mli +++ b/typing/typemod.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Type-checking of the module language *) open Typedtree diff --git a/typing/typetexp.ml b/typing/typetexp.ml index e214682d9..7d7d13447 100644 --- a/typing/typetexp.ml +++ b/typing/typetexp.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Typechecking of type expressions for the core language *) open Parsetree diff --git a/typing/typetexp.mli b/typing/typetexp.mli index 57fb18d24..14505b640 100644 --- a/typing/typetexp.mli +++ b/typing/typetexp.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Typechecking of type expressions for the core language *) val transl_simple_type: diff --git a/utils/clflags.ml b/utils/clflags.ml index 71fd7a3da..2e655c1b2 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Command-line parameters *) let objfiles = ref ([] : string list) (* .cmo and .cma files *) diff --git a/utils/config.mli b/utils/config.mli index 599f8cbde..bc71ba2e7 100644 --- a/utils/config.mli +++ b/utils/config.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* System configuration *) val version: string diff --git a/utils/config.mlp b/utils/config.mlp index 801c315b6..836f646d6 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + let standard_library = "%%LIBDIR%%" let bytecomp_c_compiler = "%%BYTECC%%" diff --git a/utils/crc.ml b/utils/crc.ml index e296ac912..b69119fee 100644 --- a/utils/crc.ml +++ b/utils/crc.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* CRC computation *) external unsafe_for_string: string -> int -> int -> int = "crc_string" diff --git a/utils/crc.mli b/utils/crc.mli index eae8ca6eb..bc5133234 100644 --- a/utils/crc.mli +++ b/utils/crc.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* CRC computation *) val for_string: string -> int -> int -> int diff --git a/utils/misc.ml b/utils/misc.ml index 932524653..c0ae3a9c7 100644 --- a/utils/misc.ml +++ b/utils/misc.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Errors *) exception Fatal_error diff --git a/utils/misc.mli b/utils/misc.mli index 4f9539190..b24f88af8 100644 --- a/utils/misc.mli +++ b/utils/misc.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Miscellaneous useful types and functions *) val fatal_error: string -> 'a diff --git a/utils/tbl.ml b/utils/tbl.ml index 3daf8c1be..1369230b9 100644 --- a/utils/tbl.ml +++ b/utils/tbl.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + type ('a, 'b) t = Empty | Node of ('a, 'b) t * 'a * 'b * ('a, 'b) t * int diff --git a/utils/tbl.mli b/utils/tbl.mli index 9ab22e0cb..c7114adfc 100644 --- a/utils/tbl.mli +++ b/utils/tbl.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Association tables from any ordered type to any type. We use the generic ordering to compare keys. *) diff --git a/utils/terminfo.ml b/utils/terminfo.ml index 682edaa81..d933c45c8 100644 --- a/utils/terminfo.ml +++ b/utils/terminfo.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Basic interface to the terminfo database *) external setupterm: unit -> unit = "terminfo_setup" diff --git a/utils/terminfo.mli b/utils/terminfo.mli index 682edaa81..d933c45c8 100644 --- a/utils/terminfo.mli +++ b/utils/terminfo.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Basic interface to the terminfo database *) external setupterm: unit -> unit = "terminfo_setup" diff --git a/yacc/closure.c b/yacc/closure.c index b67245c78..f3002d942 100644 --- a/yacc/closure.c +++ b/yacc/closure.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "defs.h" short *itemset; diff --git a/yacc/defs.h b/yacc/defs.h index 506ad60a9..7f1495bf1 100644 --- a/yacc/defs.h +++ b/yacc/defs.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <assert.h> #include <ctype.h> #include <stdio.h> diff --git a/yacc/error.c b/yacc/error.c index 82ae1bd2c..e775480bd 100644 --- a/yacc/error.c +++ b/yacc/error.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + /* routines for printing error messages */ #include "defs.h" diff --git a/yacc/lalr.c b/yacc/lalr.c index 21322dd4b..22a05297f 100644 --- a/yacc/lalr.c +++ b/yacc/lalr.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "defs.h" typedef diff --git a/yacc/lr0.c b/yacc/lr0.c index 6ea4e2b65..fd25e2da8 100644 --- a/yacc/lr0.c +++ b/yacc/lr0.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "defs.h" diff --git a/yacc/main.c b/yacc/main.c index 98325d893..2aa984ea7 100644 --- a/yacc/main.c +++ b/yacc/main.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <signal.h> #include <string.h> #include "defs.h" diff --git a/yacc/mkpar.c b/yacc/mkpar.c index 4ba590b0d..f3e139792 100644 --- a/yacc/mkpar.c +++ b/yacc/mkpar.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "defs.h" diff --git a/yacc/output.c b/yacc/output.c index 30353f93d..a0b7ada88 100644 --- a/yacc/output.c +++ b/yacc/output.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "defs.h" static int nvectors; diff --git a/yacc/reader.c b/yacc/reader.c index 085ecb7c3..9af8c5eb2 100644 --- a/yacc/reader.c +++ b/yacc/reader.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <string.h> #include "defs.h" diff --git a/yacc/skeleton.c b/yacc/skeleton.c index cbd7ae6c9..7feeb81f7 100644 --- a/yacc/skeleton.c +++ b/yacc/skeleton.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "defs.h" char *header[] = diff --git a/yacc/symtab.c b/yacc/symtab.c index 4f52acf47..82f7cc9a3 100644 --- a/yacc/symtab.c +++ b/yacc/symtab.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <string.h> #include "defs.h" diff --git a/yacc/verbose.c b/yacc/verbose.c index 392b5e152..f3c9eead3 100644 --- a/yacc/verbose.c +++ b/yacc/verbose.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "defs.h" diff --git a/yacc/warshall.c b/yacc/warshall.c index d3a1f5732..d023ade0e 100644 --- a/yacc/warshall.c +++ b/yacc/warshall.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include "defs.h" void transitive_closure(R, n) |