From a021403679cfa7b44c3091bd979ff6997d1f2b86 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 24 Oct 2010 17:57:54 -0500 Subject: [PATCH] tightened the contract on read-snip --- collects/scribblings/gui/wxme.scrbl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/scribblings/gui/wxme.scrbl b/collects/scribblings/gui/wxme.scrbl index c165b806e7..36f2f5d534 100644 --- a/collects/scribblings/gui/wxme.scrbl +++ b/collects/scribblings/gui/wxme.scrbl @@ -165,10 +165,12 @@ in a @tech{WXME} stream. The interface has two methods: Called at most once per @tech{WXME} stream to initialize the data type's stream-specific information. This method usually does nothing.} -@defmethod[(read-snip [text-only? Boolean?] +@defmethod[(read-snip [text-only? boolean?] [version exact-nonnegative-integer?] [stream (is-a?/c stream<%>)]) - any/c]{ + (if text-only? + bytes? + any/c)]{ Called when an instance of the data type is encountered in the stream. This method reads the data and returns either bytes to be