diff options
Diffstat (limited to 'typing')
52 files changed, 52 insertions, 52 deletions
diff --git a/typing/annot.mli b/typing/annot.mli index 92b2f6ec6..934438194 100644 --- a/typing/annot.mli +++ b/typing/annot.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Gallium, INRIA Rocquencourt *) (* *) diff --git a/typing/btype.ml b/typing/btype.ml index e57e760f2..faba4a4c9 100644 --- a/typing/btype.ml +++ b/typing/btype.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy and Jerome Vouillon, projet Cristal, INRIA Rocquencourt*) (* *) diff --git a/typing/btype.mli b/typing/btype.mli index 4ea5e3b40..0d71e8397 100644 --- a/typing/btype.mli +++ b/typing/btype.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/ctype.ml b/typing/ctype.ml index 361d9e17c..e5e9f9852 100644 --- a/typing/ctype.ml +++ b/typing/ctype.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy and Jerome Vouillon, projet Cristal, INRIA Rocquencourt*) (* *) diff --git a/typing/ctype.mli b/typing/ctype.mli index d12a673b0..c25eb1db4 100644 --- a/typing/ctype.mli +++ b/typing/ctype.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/datarepr.ml b/typing/datarepr.ml index 80b94132d..fe45d8d88 100644 --- a/typing/datarepr.ml +++ b/typing/datarepr.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/datarepr.mli b/typing/datarepr.mli index 283dbd294..86915bed3 100644 --- a/typing/datarepr.mli +++ b/typing/datarepr.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/env.ml b/typing/env.ml index 6eb558552..9b2f59056 100644 --- a/typing/env.ml +++ b/typing/env.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/env.mli b/typing/env.mli index 8f00972a6..f56a19cf4 100644 --- a/typing/env.mli +++ b/typing/env.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/ident.ml b/typing/ident.ml index c5bc09f41..4196bb833 100644 --- a/typing/ident.ml +++ b/typing/ident.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/ident.mli b/typing/ident.mli index 03e2eee48..e26490a9c 100644 --- a/typing/ident.mli +++ b/typing/ident.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/includeclass.ml b/typing/includeclass.ml index 0bb47b52e..8dc35115e 100644 --- a/typing/includeclass.ml +++ b/typing/includeclass.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/includeclass.mli b/typing/includeclass.mli index 5596056d0..f5bc98a03 100644 --- a/typing/includeclass.mli +++ b/typing/includeclass.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/includecore.ml b/typing/includecore.ml index a08831924..621e1bb1e 100644 --- a/typing/includecore.ml +++ b/typing/includecore.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/includecore.mli b/typing/includecore.mli index a2af04ba4..66bd04c31 100644 --- a/typing/includecore.mli +++ b/typing/includecore.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/includemod.ml b/typing/includemod.ml index 4b9d4ff3c..21dd58e10 100644 --- a/typing/includemod.ml +++ b/typing/includemod.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/includemod.mli b/typing/includemod.mli index 347fd2d65..35e8dfb7e 100644 --- a/typing/includemod.mli +++ b/typing/includemod.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/mtype.ml b/typing/mtype.ml index dddc65a0e..9e18d237b 100644 --- a/typing/mtype.ml +++ b/typing/mtype.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/mtype.mli b/typing/mtype.mli index b15b09ec9..a24756dc0 100644 --- a/typing/mtype.mli +++ b/typing/mtype.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/oprint.ml b/typing/oprint.ml index 681661734..1a5fe1cf0 100644 --- a/typing/oprint.ml +++ b/typing/oprint.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/oprint.mli b/typing/oprint.mli index 7a5121ae1..5724355b8 100644 --- a/typing/oprint.mli +++ b/typing/oprint.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/outcometree.mli b/typing/outcometree.mli index 80c28ea08..d0c925256 100644 --- a/typing/outcometree.mli +++ b/typing/outcometree.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Daniel de Rauglaudre, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/parmatch.ml b/typing/parmatch.ml index 57cebda7b..65a671edb 100644 --- a/typing/parmatch.ml +++ b/typing/parmatch.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/parmatch.mli b/typing/parmatch.mli index 7ef6a8308..79ab366e5 100644 --- a/typing/parmatch.mli +++ b/typing/parmatch.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/path.ml b/typing/path.ml index 009550261..9387611a2 100644 --- a/typing/path.ml +++ b/typing/path.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/path.mli b/typing/path.mli index 96f3e9836..ffee167e1 100644 --- a/typing/path.mli +++ b/typing/path.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/predef.ml b/typing/predef.ml index 728eb5729..d387522d6 100644 --- a/typing/predef.ml +++ b/typing/predef.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/predef.mli b/typing/predef.mli index b7bbb6f4b..43e37965c 100644 --- a/typing/predef.mli +++ b/typing/predef.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/primitive.ml b/typing/primitive.ml index 3d7ab5f7c..a5c376596 100644 --- a/typing/primitive.ml +++ b/typing/primitive.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/primitive.mli b/typing/primitive.mli index 8446037f4..0b48079a8 100644 --- a/typing/primitive.mli +++ b/typing/primitive.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/printtyp.ml b/typing/printtyp.ml index 081e30083..27adf0163 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy and Jerome Vouillon, projet Cristal, INRIA Rocquencourt*) (* *) diff --git a/typing/printtyp.mli b/typing/printtyp.mli index 5e3402ff8..5417ebf41 100644 --- a/typing/printtyp.mli +++ b/typing/printtyp.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/stypes.ml b/typing/stypes.ml index 4d1166fe5..1d2c0efde 100644 --- a/typing/stypes.ml +++ b/typing/stypes.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Moscova, INRIA Rocquencourt *) (* *) diff --git a/typing/stypes.mli b/typing/stypes.mli index 32f92c1d7..02cccd800 100644 --- a/typing/stypes.mli +++ b/typing/stypes.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Moscova, INRIA Rocquencourt *) (* *) diff --git a/typing/subst.ml b/typing/subst.ml index 6aa276606..b4b9c08a0 100644 --- a/typing/subst.ml +++ b/typing/subst.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/subst.mli b/typing/subst.mli index c861a57be..cf9778854 100644 --- a/typing/subst.mli +++ b/typing/subst.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/typeclass.ml b/typing/typeclass.ml index c81e8fe8d..4e64ef642 100644 --- a/typing/typeclass.ml +++ b/typing/typeclass.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/typeclass.mli b/typing/typeclass.mli index e360ba4e1..9841ed401 100644 --- a/typing/typeclass.mli +++ b/typing/typeclass.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/typecore.ml b/typing/typecore.ml index 511bb5e36..5a9a876ff 100644 --- a/typing/typecore.ml +++ b/typing/typecore.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/typecore.mli b/typing/typecore.mli index 1d3cda6dc..b2d2970a4 100644 --- a/typing/typecore.mli +++ b/typing/typecore.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/typedecl.ml b/typing/typedecl.ml index f8a581815..aae9b1343 100644 --- a/typing/typedecl.ml +++ b/typing/typedecl.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy and Jerome Vouillon, projet Cristal, INRIA Rocquencourt*) (* *) diff --git a/typing/typedecl.mli b/typing/typedecl.mli index f0e742bd8..1a7b4a42d 100644 --- a/typing/typedecl.mli +++ b/typing/typedecl.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/typedtree.ml b/typing/typedtree.ml index e2b7e285e..2256a6143 100644 --- a/typing/typedtree.ml +++ b/typing/typedtree.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/typedtree.mli b/typing/typedtree.mli index eb64937cf..d6d4f5da3 100644 --- a/typing/typedtree.mli +++ b/typing/typedtree.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/typemod.ml b/typing/typemod.ml index 64c099e65..502d23542 100644 --- a/typing/typemod.ml +++ b/typing/typemod.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/typemod.mli b/typing/typemod.mli index 6272b56c0..5ca93ae0c 100644 --- a/typing/typemod.mli +++ b/typing/typemod.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/types.ml b/typing/types.ml index 5996719d4..3b5e3e605 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/types.mli b/typing/types.mli index a4c640845..c7272438c 100644 --- a/typing/types.mli +++ b/typing/types.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/typetexp.ml b/typing/typetexp.ml index 838719b7c..f6eddbf95 100644 --- a/typing/typetexp.ml +++ b/typing/typetexp.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/typetexp.mli b/typing/typetexp.mli index ec9042ce8..529e008e7 100644 --- a/typing/typetexp.mli +++ b/typing/typetexp.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/unused_var.ml b/typing/unused_var.ml index 00675655c..ec468980c 100644 --- a/typing/unused_var.ml +++ b/typing/unused_var.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/typing/unused_var.mli b/typing/unused_var.mli index be36fccad..fb2d2dfa2 100644 --- a/typing/unused_var.mli +++ b/typing/unused_var.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Cristal, INRIA Rocquencourt *) (* *) |