From 02219bda915811ce2139827f090178c721ff0ae5 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 16 Aug 2012 15:50:52 -0400 Subject: [PATCH] Fix guide section 7.3.8 Closes PR 13033 --- collects/scribblings/guide/contracts-general-function.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/scribblings/guide/contracts-general-function.scrbl b/collects/scribblings/guide/contracts-general-function.scrbl index 27386d0c15..08bcf82919 100644 --- a/collects/scribblings/guide/contracts-general-function.scrbl +++ b/collects/scribblings/guide/contracts-general-function.scrbl @@ -526,13 +526,13 @@ Now, suppose that we also want to ensure that the first result of (format "substring of ~s" s) (lambda (s2) (and (string? s2) - (<= (string-length s2) s) + (<= (string-length s2) (string-length s)) (equal? (substring s 0 (string-length s2)) s2))))) (provide (contract-out [split (->i ([fl (listof char?)]) - (values [s (fl) (substring-of (list->string fl))] + (values [s (fl) (substring-of? (list->string fl))] [c (listof char?)]))])) ] Like @racket[->*], the @racket[->i] combinator uses a function over the