From d9ee32c7f3cb69033e42aea970deadec98574bc1 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Tue, 16 Apr 2013 10:50:11 -0400
Subject: [PATCH] Fix old style contracts

original commit: d4927e917b6b72427cce2c6e2bd6caa9233ee6e3
---
 collects/net/scribblings/imap.scrbl | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/collects/net/scribblings/imap.scrbl b/collects/net/scribblings/imap.scrbl
index 683550ef9b..a27ad5d9e6 100644
--- a/collects/net/scribblings/imap.scrbl
+++ b/collects/net/scribblings/imap.scrbl
@@ -173,7 +173,7 @@ update this count during most any interaction.
 @just-report[]}
 
 
-@defproc[(imap-unseen [imap imap-connection?]) (or/c exact-nonnegative-integer? false/c)]{
+@defproc[(imap-unseen [imap imap-connection?]) (or/c exact-nonnegative-integer? #f)]{
 
 Returns the number of ``unseen'' messages in the currently selected
 mailbox, as most recently reported by the server. The server can
@@ -183,7 +183,7 @@ not report this value, in which case the result is @racket[#f].
 @just-report[]}
 
 
-@defproc[(imap-uidnext [imap imap-connection?]) (or/c exact-nonnegative-integer? false/c)]{
+@defproc[(imap-uidnext [imap imap-connection?]) (or/c exact-nonnegative-integer? #f)]{
 
 Returns the predicted next uid for a message in the currently selected
 mailbox, as most recently reported by the server. The server can
@@ -193,7 +193,7 @@ not report this value, in which case the result is @racket[#f].
 @just-report[]}
 
 
-@defproc[(imap-uidvalidity [imap imap-connection?]) (or/c exact-nonnegative-integer? false/c)]{
+@defproc[(imap-uidvalidity [imap imap-connection?]) (or/c exact-nonnegative-integer? #f)]{
 
 Returns an id number that changes when all uids become invalid. The
 server @emph{cannot} update this number during a session. Old IMAP
@@ -280,10 +280,10 @@ list, @racket[#t] otherwise.}
 
 @defproc[(imap-get-messages [imap imap-connection?]
                             [msg-nums (listof exact-nonnegative-integer?)]
-                            [fields (listof (one-of/c 'uid
-                                                      'header
-                                                      'body
-                                                      'flags))])
+                            [fields (listof (or/c 'uid
+                                                  'header
+                                                  'body
+                                                  'flags))])
          (listof list?)]{
 
 Downloads information for a set of messages. The @racket[msg-nums]
@@ -356,7 +356,7 @@ provided.}
 
 
 @defproc[(imap-store [imap imap-connection?]
-                     [mode (one-of/c '+ '- '!)]
+                     [mode (or/c '+ '- '!)]
                      [msg-nums (listof exact-nonnegative-integer?)]
                      [imap-flags (listof symbol?)])
          void?]{
@@ -467,7 +467,7 @@ Creates @racket[mailbox]. (It must not exist already.)}
 
 
 @defproc[(imap-list-child-mailboxes [imap imap-connection?]
-                                    [mailbox (or/c string? bytes? false/c)]
+                                    [mailbox (or/c string? bytes? #f)]
                                     [delimiter (or/c string? bytes?)
                                                (imap-get-hierarchy-delimiter)])
          (listof (list/c (listof symbol?) bytes?))]{