From 5680721f04b4c0da211f83cbc30948973dba82c6 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 24 Jan 2018 15:41:16 -0700
Subject: [PATCH] docs: repair and clarify `memmove` and `memcpy` contract

The old format didn't cover some possibilities.
---
 .../scribblings/foreign/pointers.scrbl        | 37 +++----------------
 1 file changed, 5 insertions(+), 32 deletions(-)

diff --git a/pkgs/racket-doc/scribblings/foreign/pointers.scrbl b/pkgs/racket-doc/scribblings/foreign/pointers.scrbl
index 409b744f2a..9b696adf3f 100644
--- a/pkgs/racket-doc/scribblings/foreign/pointers.scrbl
+++ b/pkgs/racket-doc/scribblings/foreign/pointers.scrbl
@@ -138,20 +138,9 @@ easily lead to a segmentation fault or memory corruption.}
 
 
 @defproc*[([(memmove [cptr cpointer?]
+                     [offset exact-integer? 0]
                      [src-cptr cpointer?]
-                     [count exact-nonnegative-integer?]
-                     [type ctype? _byte])
-            void?]
-           [(memmove [cptr cpointer?]
-                     [offset exact-integer?]
-                     [src-cptr cpointer?]
-                     [count exact-nonnegative-integer?]
-                     [type ctype? _byte])
-            void?]
-           [(memmove [cptr cpointer?]
-                     [offset exact-integer?]
-                     [src-cptr cpointer?]
-                     [src-offset exact-integer?]
+                     [src-offset exact-integer? 0]
                      [count exact-nonnegative-integer?]
                      [type ctype? _byte])
             void?])]{
@@ -164,20 +153,9 @@ destination is determined by @racket[count], which is in @racket[type]
 instances when supplied.}
 
 @defproc*[([(memcpy [cptr cpointer?]
+                    [offset exact-integer? 0]
                     [src-cptr cpointer?]
-                    [count exact-nonnegative-integer?]
-                    [type ctype? _byte])
-            void?]
-           [(memcpy [cptr cpointer?]
-                    [offset exact-integer?]
-                    [src-cptr cpointer?]
-                    [count exact-nonnegative-integer?]
-                    [type ctype? _byte])
-            void?]
-           [(memcpy [cptr cpointer?]
-                    [offset exact-integer?]
-                    [src-cptr cpointer?]
-                    [src-offset exact-integer?]
+                    [src-offset exact-integer? 0]
                     [count exact-nonnegative-integer?]
                     [type ctype? _byte])
             void?])]{
@@ -186,12 +164,7 @@ Like @racket[memmove], but the result is undefined if the destination
 and source overlap.}
 
 @defproc*[([(memset [cptr cpointer?]
-                    [byte byte?]
-                    [count exact-nonnegative-integer?]
-                    [type ctype? _byte])
-            void?]
-           [(memset [cptr cpointer?]
-                    [offset exact-integer?]
+                    [offset exact-integer? 0]
                     [byte byte?]
                     [count exact-nonnegative-integer?]
                     [type ctype? _byte])