rename buffer io to ring buffer

2025-12-07 19:55:31 -05:00 · 2015-02-13 19:00:04 -05:00 · 2015-02-13 19:00:04 -05:00 · 4a994cff38
commit 4a994cff38
parent 7d92950a4e
3 changed files with 4 additions and 2 deletions
--- a/2
+++ b/2
@ -70,7 +70,7 @@ Library "containers_data"
  Path:             src/data
  Modules:          CCMultiMap, CCMultiSet, CCTrie, CCFlatHashtbl, CCCache,
                    CCPersistentHashtbl, CCDeque, CCFQueue, CCBV, CCMixtbl,
-                    CCBufferIO
+                    CCRingBuffer
  FindlibParent:    containers
  FindlibName:      data

--- a/src/data/CCRingBuffer.ml
+++ b/src/data/CCRingBuffer.ml
@ -1,5 +1,7 @@
 (*
- * CCBufferIO - Polymorphic circular buffer
+ * CCRingBufferIO - Polymorphic circular buffer with
+ * deque semantics for accessing both the head and tail.
+ *
 * Copyright (C) 2014 Simon Cruanes
 *
 * This library is free software; you can redistribute it and/or
--- a/src/data/CCRingBuffer.mli
+++ b/src/data/CCRingBuffer.mli