diff options
Diffstat (limited to 'stdlib')
96 files changed, 122 insertions, 107 deletions
diff --git a/stdlib/Compflags b/stdlib/Compflags index 8578751c9..6ab038f44 100755 --- a/stdlib/Compflags +++ b/stdlib/Compflags @@ -1,7 +1,7 @@ #!/bin/sh ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/stdlib/Makefile b/stdlib/Makefile index 59a2e18fb..2c8e06706 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/stdlib/Makefile.nt b/stdlib/Makefile.nt index b21f0a375..579391a77 100644 --- a/stdlib/Makefile.nt +++ b/stdlib/Makefile.nt @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/stdlib/Makefile.shared b/stdlib/Makefile.shared index d1b181278..0752a1b5f 100755 --- a/stdlib/Makefile.shared +++ b/stdlib/Makefile.shared @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/stdlib/StdlibModules b/stdlib/StdlibModules index 4f689f8c4..926e2cb51 100644 --- a/stdlib/StdlibModules +++ b/stdlib/StdlibModules @@ -1,7 +1,23 @@ -# This file lists all standard library modules. -*- Makefile -*- -# It is used in particular to know what to expunge in toplevels. +# -*- Makefile -*- + +######################################################################### +# # +# OCaml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique. All rights reserved. This file is distributed # +# under the terms of the GNU Library General Public License, with # +# the special exception on linking described in file ../LICENSE. # +# # +######################################################################### + # $Id$ +# This file lists all standard library modules. +# It is used in particular to know what to expunge in toplevels. + STDLIB_MODULES=\ arg \ array \ diff --git a/stdlib/arg.ml b/stdlib/arg.ml index ac552d38e..d5d1bdf74 100644 --- a/stdlib/arg.ml +++ b/stdlib/arg.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) diff --git a/stdlib/arg.mli b/stdlib/arg.mli index 887256615..1fff78f19 100644 --- a/stdlib/arg.mli +++ b/stdlib/arg.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) diff --git a/stdlib/array.ml b/stdlib/array.ml index d1cbd6557..e29b2fe83 100644 --- a/stdlib/array.ml +++ b/stdlib/array.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/array.mli b/stdlib/array.mli index 9fb74b06e..df5b1c41c 100644 --- a/stdlib/array.mli +++ b/stdlib/array.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/arrayLabels.ml b/stdlib/arrayLabels.ml index fed0ad1c2..652f4cac4 100644 --- a/stdlib/arrayLabels.ml +++ b/stdlib/arrayLabels.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/stdlib/arrayLabels.mli b/stdlib/arrayLabels.mli index f45f70c6d..d4833e026 100644 --- a/stdlib/arrayLabels.mli +++ b/stdlib/arrayLabels.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/buffer.ml b/stdlib/buffer.ml index 9327aaefb..541717ade 100644 --- a/stdlib/buffer.ml +++ b/stdlib/buffer.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Pierre Weis and Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/buffer.mli b/stdlib/buffer.mli index efe2e9ea2..ce70c983e 100644 --- a/stdlib/buffer.mli +++ b/stdlib/buffer.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Pierre Weis and Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/callback.ml b/stdlib/callback.ml index 819f9d3f4..a8a490c46 100644 --- a/stdlib/callback.ml +++ b/stdlib/callback.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/callback.mli b/stdlib/callback.mli index ba2ab7ecb..dfb31617a 100644 --- a/stdlib/callback.mli +++ b/stdlib/callback.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/camlinternalLazy.ml b/stdlib/camlinternalLazy.ml index 46cf42788..042a377c9 100644 --- a/stdlib/camlinternalLazy.ml +++ b/stdlib/camlinternalLazy.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) diff --git a/stdlib/camlinternalLazy.mli b/stdlib/camlinternalLazy.mli index 37b707d4f..99de7ed84 100644 --- a/stdlib/camlinternalLazy.mli +++ b/stdlib/camlinternalLazy.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) diff --git a/stdlib/camlinternalMod.ml b/stdlib/camlinternalMod.ml index 12a77cc8f..36d73bdcf 100644 --- a/stdlib/camlinternalMod.ml +++ b/stdlib/camlinternalMod.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/camlinternalMod.mli b/stdlib/camlinternalMod.mli index 74bf28db2..dc8c61ca0 100644 --- a/stdlib/camlinternalMod.mli +++ b/stdlib/camlinternalMod.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/camlinternalOO.ml b/stdlib/camlinternalOO.ml index 2ffa71c0a..db3aef73d 100644 --- a/stdlib/camlinternalOO.ml +++ b/stdlib/camlinternalOO.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/camlinternalOO.mli b/stdlib/camlinternalOO.mli index d2aeea319..f02b02036 100644 --- a/stdlib/camlinternalOO.mli +++ b/stdlib/camlinternalOO.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/char.ml b/stdlib/char.ml index 28a1bcc46..6dafbad2b 100644 --- a/stdlib/char.ml +++ b/stdlib/char.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/char.mli b/stdlib/char.mli index 8ab72bd9a..34bd6c23d 100644 --- a/stdlib/char.mli +++ b/stdlib/char.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) @@ -26,7 +26,7 @@ val chr : int -> char val escaped : char -> string (** Return a string representing the given character, with special characters escaped following the lexical conventions - of Objective Caml. *) + of OCaml. *) val lowercase : char -> char (** Convert the given character to its equivalent lowercase character. *) diff --git a/stdlib/complex.ml b/stdlib/complex.ml index 3c28a58b7..c52e647cc 100644 --- a/stdlib/complex.ml +++ b/stdlib/complex.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/complex.mli b/stdlib/complex.mli index 3c3b361d2..1bfa8b7bc 100644 --- a/stdlib/complex.mli +++ b/stdlib/complex.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/digest.ml b/stdlib/digest.ml index 78a45d54e..7d6914156 100644 --- a/stdlib/digest.ml +++ b/stdlib/digest.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/digest.mli b/stdlib/digest.mli index 981bd02fc..14f27e263 100644 --- a/stdlib/digest.mli +++ b/stdlib/digest.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/filename.ml b/stdlib/filename.ml index e11f1e330..92bd21718 100644 --- a/stdlib/filename.ml +++ b/stdlib/filename.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy and Damien Doligez, INRIA Rocquencourt *) (* *) diff --git a/stdlib/filename.mli b/stdlib/filename.mli index efbdcd98d..7e447585c 100644 --- a/stdlib/filename.mli +++ b/stdlib/filename.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/format.ml b/stdlib/format.ml index 56648dd6a..9cb9a1afd 100644 --- a/stdlib/format.ml +++ b/stdlib/format.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Pierre Weis, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/format.mli b/stdlib/format.mli index 9b49c53f4..8ddc0f519 100644 --- a/stdlib/format.mli +++ b/stdlib/format.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Pierre Weis, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/gc.ml b/stdlib/gc.ml index 6482ebb78..16a354a35 100644 --- a/stdlib/gc.ml +++ b/stdlib/gc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) diff --git a/stdlib/gc.mli b/stdlib/gc.mli index 142a38af2..ec6cc17c3 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) diff --git a/stdlib/genlex.ml b/stdlib/genlex.ml index 6ecc2805a..1c6276c9f 100644 --- a/stdlib/genlex.ml +++ b/stdlib/genlex.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/genlex.mli b/stdlib/genlex.mli index 93bc5f55e..d7cecc781 100644 --- a/stdlib/genlex.mli +++ b/stdlib/genlex.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/hashtbl.ml b/stdlib/hashtbl.ml index 0c6b1324d..b91b8e512 100644 --- a/stdlib/hashtbl.ml +++ b/stdlib/hashtbl.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/hashtbl.mli b/stdlib/hashtbl.mli index 774443f9f..6fb3c1029 100644 --- a/stdlib/hashtbl.mli +++ b/stdlib/hashtbl.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/header.c b/stdlib/header.c index eda76325a..c82c7bc7f 100644 --- a/stdlib/header.c +++ b/stdlib/header.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/stdlib/headernt.c b/stdlib/headernt.c index 77f368afd..9972d5d5c 100644 --- a/stdlib/headernt.c +++ b/stdlib/headernt.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/stdlib/int32.ml b/stdlib/int32.ml index 64d525e88..15237d7f4 100644 --- a/stdlib/int32.ml +++ b/stdlib/int32.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/int32.mli b/stdlib/int32.mli index eeafb1a2f..8bc7384ff 100644 --- a/stdlib/int32.mli +++ b/stdlib/int32.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/int64.ml b/stdlib/int64.ml index e916fa4e0..d8b1c3ca3 100644 --- a/stdlib/int64.ml +++ b/stdlib/int64.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/int64.mli b/stdlib/int64.mli index 3b641338e..1f28f5c49 100644 --- a/stdlib/int64.mli +++ b/stdlib/int64.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/lazy.ml b/stdlib/lazy.ml index b1a9cbbda..359fcaa63 100644 --- a/stdlib/lazy.ml +++ b/stdlib/lazy.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) @@ -18,7 +18,7 @@ (* WARNING: some purple magic is going on here. Do not take this file - as an example of how to program in Objective Caml. + as an example of how to program in OCaml. *) diff --git a/stdlib/lazy.mli b/stdlib/lazy.mli index 3b85717f1..4a3b5df0f 100644 --- a/stdlib/lazy.mli +++ b/stdlib/lazy.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) diff --git a/stdlib/lexing.ml b/stdlib/lexing.ml index 9e0141526..4d03ec088 100644 --- a/stdlib/lexing.ml +++ b/stdlib/lexing.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/lexing.mli b/stdlib/lexing.mli index 2edb6c5df..6008e127b 100644 --- a/stdlib/lexing.mli +++ b/stdlib/lexing.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/list.ml b/stdlib/list.ml index c6b161884..aea05b4bf 100644 --- a/stdlib/list.ml +++ b/stdlib/list.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/list.mli b/stdlib/list.mli index 547fb1328..996436ef5 100644 --- a/stdlib/list.mli +++ b/stdlib/list.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/listLabels.ml b/stdlib/listLabels.ml index be7bddea3..62b6e3768 100644 --- a/stdlib/listLabels.ml +++ b/stdlib/listLabels.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/stdlib/listLabels.mli b/stdlib/listLabels.mli index 94c875a6c..324df1394 100644 --- a/stdlib/listLabels.mli +++ b/stdlib/listLabels.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/map.ml b/stdlib/map.ml index 3d9597aa0..8f658b212 100644 --- a/stdlib/map.ml +++ b/stdlib/map.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/map.mli b/stdlib/map.mli index b025b8c0a..a6374dbdf 100644 --- a/stdlib/map.mli +++ b/stdlib/map.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/marshal.ml b/stdlib/marshal.ml index 0410a23e9..c42851504 100644 --- a/stdlib/marshal.ml +++ b/stdlib/marshal.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/marshal.mli b/stdlib/marshal.mli index ac0775bb1..800f061e3 100644 --- a/stdlib/marshal.mli +++ b/stdlib/marshal.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) @@ -20,7 +20,7 @@ sent over a pipe or network connection. The bytes can then be read back later, possibly in another process, and decoded back into a data structure. The format for the byte sequences - is compatible across all machines for a given version of Objective Caml. + is compatible across all machines for a given version of OCaml. Warning: marshaling is currently not type-safe. The type of marshaled data is not transmitted along the value of the data, diff --git a/stdlib/moreLabels.ml b/stdlib/moreLabels.ml index f6cfddabc..3fda7a5b3 100644 --- a/stdlib/moreLabels.ml +++ b/stdlib/moreLabels.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/stdlib/moreLabels.mli b/stdlib/moreLabels.mli index 21b60bdd7..accf7f3e8 100644 --- a/stdlib/moreLabels.mli +++ b/stdlib/moreLabels.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) @@ -19,7 +19,7 @@ {!Map} and {!Set} modules. They only differ by their labels. They are provided to help - porting from previous versions of Objective Caml. + porting from previous versions of OCaml. The contents of this module are subject to change. *) diff --git a/stdlib/nativeint.ml b/stdlib/nativeint.ml index 934784361..4bba76d56 100644 --- a/stdlib/nativeint.ml +++ b/stdlib/nativeint.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/nativeint.mli b/stdlib/nativeint.mli index ff499a26f..7de11ea00 100644 --- a/stdlib/nativeint.mli +++ b/stdlib/nativeint.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/obj.ml b/stdlib/obj.ml index c16b51156..96de162f6 100644 --- a/stdlib/obj.ml +++ b/stdlib/obj.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/obj.mli b/stdlib/obj.mli index 57df04917..9b66723b2 100644 --- a/stdlib/obj.mli +++ b/stdlib/obj.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/oo.ml b/stdlib/oo.ml index c9ec64ae4..40c8ae6e4 100644 --- a/stdlib/oo.ml +++ b/stdlib/oo.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/oo.mli b/stdlib/oo.mli index b3111ce85..cd83151bb 100644 --- a/stdlib/oo.mli +++ b/stdlib/oo.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/parsing.ml b/stdlib/parsing.ml index 5d53c7413..55a8f53aa 100644 --- a/stdlib/parsing.ml +++ b/stdlib/parsing.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/parsing.mli b/stdlib/parsing.mli index 03721ba30..0d053b899 100644 --- a/stdlib/parsing.mli +++ b/stdlib/parsing.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index b4277953c..5148f228f 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/pervasives.mli b/stdlib/pervasives.mli index 2062f8fdb..e5b21d110 100644 --- a/stdlib/pervasives.mli +++ b/stdlib/pervasives.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) @@ -655,7 +655,7 @@ val output_binary_int : out_channel -> int -> unit The given integer is taken modulo 2{^32}. The only reliable way to read it back is through the {!Pervasives.input_binary_int} function. The format is compatible across - all machines for a given version of Objective Caml. *) + all machines for a given version of OCaml. *) val output_value : out_channel -> 'a -> unit (** Write the representation of a structured value of any type @@ -868,8 +868,7 @@ external decr : int ref -> unit = "%decr" (** Format strings have a general and highly polymorphic type [('a, 'b, 'c, 'd, 'e, 'f) format6]. Type [format6] is built in. The two simplified types, [format] and [format4] below are - included for backward compatibility with earlier releases of Objective - Caml. + included for backward compatibility with earlier releases of OCaml. ['a] is the type of the parameters of the format, ['b] is the type of the first argument given to [%a] and [%t] printing functions, diff --git a/stdlib/printexc.ml b/stdlib/printexc.ml index 9e435c590..6f71b497f 100644 --- a/stdlib/printexc.ml +++ b/stdlib/printexc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/printexc.mli b/stdlib/printexc.mli index 319ba52c4..93ee5d6d1 100644 --- a/stdlib/printexc.mli +++ b/stdlib/printexc.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/printf.ml b/stdlib/printf.ml index dc88335f6..afca2034e 100644 --- a/stdlib/printf.ml +++ b/stdlib/printf.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy and Pierre Weis, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/printf.mli b/stdlib/printf.mli index e122decec..797a354dd 100644 --- a/stdlib/printf.mli +++ b/stdlib/printf.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy and Pierre Weis, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/queue.ml b/stdlib/queue.ml index 9e21686a1..605a89204 100644 --- a/stdlib/queue.ml +++ b/stdlib/queue.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* François Pottier, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/queue.mli b/stdlib/queue.mli index 085cfb003..5dea9244b 100644 --- a/stdlib/queue.mli +++ b/stdlib/queue.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/random.ml b/stdlib/random.ml index bd3979914..44b830150 100644 --- a/stdlib/random.ml +++ b/stdlib/random.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) diff --git a/stdlib/random.mli b/stdlib/random.mli index 88387d191..389ef8d21 100644 --- a/stdlib/random.mli +++ b/stdlib/random.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) diff --git a/stdlib/scanf.ml b/stdlib/scanf.ml index aa6e65621..a11613c20 100644 --- a/stdlib/scanf.ml +++ b/stdlib/scanf.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Pierre Weis, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/scanf.mli b/stdlib/scanf.mli index 373c9ae31..38cbad865 100644 --- a/stdlib/scanf.mli +++ b/stdlib/scanf.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Pierre Weis, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/set.ml b/stdlib/set.ml index 375fc5d0e..63e965fa4 100644 --- a/stdlib/set.ml +++ b/stdlib/set.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/set.mli b/stdlib/set.mli index 851a9ef51..0f1a3b7c9 100644 --- a/stdlib/set.mli +++ b/stdlib/set.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/sort.ml b/stdlib/sort.ml index 7c53ab777..66546b12b 100644 --- a/stdlib/sort.ml +++ b/stdlib/sort.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/sort.mli b/stdlib/sort.mli index 7069052eb..4f2a961aa 100644 --- a/stdlib/sort.mli +++ b/stdlib/sort.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/stack.ml b/stdlib/stack.ml index 03277d079..599b10c8b 100644 --- a/stdlib/stack.ml +++ b/stdlib/stack.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/stack.mli b/stdlib/stack.mli index bf33d01ab..2d7a90066 100644 --- a/stdlib/stack.mli +++ b/stdlib/stack.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/stdLabels.ml b/stdlib/stdLabels.ml index bd6a5841d..468dd5176 100644 --- a/stdlib/stdLabels.ml +++ b/stdlib/stdLabels.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/stdlib/stdLabels.mli b/stdlib/stdLabels.mli index 73f72dc68..cb1ba01a4 100644 --- a/stdlib/stdLabels.mli +++ b/stdlib/stdLabels.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/stdlib/std_exit.ml b/stdlib/std_exit.ml index 6f5ff301a..c56153738 100644 --- a/stdlib/std_exit.ml +++ b/stdlib/std_exit.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/stream.ml b/stdlib/stream.ml index aa6a2a2ab..fc66acb3e 100644 --- a/stdlib/stream.ml +++ b/stdlib/stream.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Ocaml *) +(* OCaml *) (* *) (* Daniel de Rauglaudre, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/stream.mli b/stdlib/stream.mli index 28cfd3a1c..2859e65e0 100644 --- a/stdlib/stream.mli +++ b/stdlib/stream.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Ocaml *) +(* OCaml *) (* *) (* Daniel de Rauglaudre, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/string.ml b/stdlib/string.ml index 72f9494cc..7eafec02f 100644 --- a/stdlib/string.ml +++ b/stdlib/string.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/string.mli b/stdlib/string.mli index 8c0889803..3a7976bd2 100644 --- a/stdlib/string.mli +++ b/stdlib/string.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) @@ -104,7 +104,7 @@ val iteri : (int -> char -> unit) -> string -> unit val escaped : string -> string (** Return a copy of the argument, with special characters represented by escape sequences, following the lexical - conventions of Objective Caml. If there is no special + conventions of OCaml. If there is no special character in the argument, return the original string itself, not a copy. *) diff --git a/stdlib/stringLabels.ml b/stdlib/stringLabels.ml index 87d23d86f..2345d4992 100644 --- a/stdlib/stringLabels.ml +++ b/stdlib/stringLabels.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/stdlib/stringLabels.mli b/stdlib/stringLabels.mli index d1a3966f5..5a17c67da 100644 --- a/stdlib/stringLabels.mli +++ b/stdlib/stringLabels.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) @@ -94,7 +94,7 @@ val iteri : f:(int -> char -> unit) -> string -> unit val escaped : string -> string (** Return a copy of the argument, with special characters represented by escape sequences, following the lexical - conventions of Objective Caml. If there is no special + conventions of OCaml. If there is no special character in the argument, return the original string itself, not a copy. *) diff --git a/stdlib/sys.mli b/stdlib/sys.mli index 713038aa7..ee5021dcc 100644 --- a/stdlib/sys.mli +++ b/stdlib/sys.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) @@ -199,7 +199,7 @@ val catch_break : bool -> unit val ocaml_version : string;; -(** [ocaml_version] is the version of Objective Caml. +(** [ocaml_version] is the version of OCaml. It is a string of the form ["major.minor[.patchlevel][+additional-info]"], where [major], [minor], and [patchlevel] are integers, and [additional-info] is an arbitrary string. The [[.patchlevel]] and diff --git a/stdlib/sys.mlp b/stdlib/sys.mlp index b58ca0bb3..b83cbb287 100644 --- a/stdlib/sys.mlp +++ b/stdlib/sys.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/weak.ml b/stdlib/weak.ml index 4adacd8e4..bbd3debc4 100644 --- a/stdlib/weak.ml +++ b/stdlib/weak.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) diff --git a/stdlib/weak.mli b/stdlib/weak.mli index 33f4bf1d0..add9b0abb 100644 --- a/stdlib/weak.mli +++ b/stdlib/weak.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) |