diff --git a/src/data/CCRingBuffer.ml b/src/data/CCRingBuffer.ml index b68d803d..2dae025a 100644 --- a/src/data/CCRingBuffer.ml +++ b/src/data/CCRingBuffer.ml @@ -370,6 +370,16 @@ struct clear b; b.buf <- Array.empty +(*$T + let s = Bytes.of_string "hello world" in \ + let s_len = Bytes.length s in \ + let b = ByteBuffer.create s_len in \ + ByteBuffer.blit_from b s 0 s_len; \ + ByteBuffer.reset b; \ + ByteBuffer.length b = 0 && ByteBuffer.capacity b = 0 + *) + + let is_empty b = b.start = b.stop let take_front b =