From e7ada9b93a02d39cd62f6fd7d9f629429ef51273 Mon Sep 17 00:00:00 2001 From: Luc Maranget Date: Mon, 25 Jan 2010 14:52:00 +0000 Subject: Preparing relase 3.11.2 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/jo311@9590 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- stdlib/buffer.ml | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'stdlib/buffer.ml') diff --git a/stdlib/buffer.ml b/stdlib/buffer.ml index 8dfe875993..0888409813 100644 --- a/stdlib/buffer.ml +++ b/stdlib/buffer.ml @@ -39,6 +39,14 @@ let sub b ofs len = end ;; +let blit src srcoff dst dstoff len = + if len < 0 || srcoff < 0 || srcoff > src.position - len + || dstoff < 0 || dstoff > (String.length dst) - len + then invalid_arg "Buffer.blit" + else + String.blit src.buffer srcoff dst dstoff len +;; + let nth b ofs = if ofs < 0 || ofs >= b.position then invalid_arg "Buffer.nth" -- cgit v1.2.1