diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2011-12-21 15:37:54 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2011-12-21 15:37:54 +0000 |
| commit | cca0035fbb25e0539c85a62b554c5b0abed66062 (patch) | |
| tree | a3d0f4a8b1eb522c2107d9f920a07857d8080659 /stdlib/queue.ml | |
| parent | a85549ccf6b923198293f7335986b9b18417d06b (diff) | |
continuing to change the name to OCaml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11922 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/queue.ml')
| -rw-r--r-- | stdlib/queue.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/queue.ml b/stdlib/queue.ml index 605a89204..4e12eb3d2 100644 --- a/stdlib/queue.ml +++ b/stdlib/queue.ml @@ -15,7 +15,7 @@ exception Empty -(* O'Caml currently does not allow the components of a sum type to be +(* OCaml currently does not allow the components of a sum type to be mutable. Yet, for optimal space efficiency, we must have cons cells whose [next] field is mutable. This leads us to define a type of cyclic lists, so as to eliminate the [Nil] case and the sum |